SHARE Virtual Discovery Environment

English

Pubblicazioni (Istanze)

Vai a Persone/Opere

Home / (Tutto) >> Computer science

Info

Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

Info

Utilizzare questo link per rimuovere la selezione effettuata.

Export / Download (0)

Esporta in PDF
Esporta in Excel
Esporta in HTML
Esporta in Marc21 (binary)
Esporta in MARC XML
Export in Marc21 (text)
Invia tramite E-Mail

Biblioteca

New York University (3194)
Stanford University (1823)
University of Chicago (1795)
University of Pennsylvania (789)
Duke University (35)
University of Michigan Ann Arbor (2)
Yale University (2)
University of Alberta / NEOS Library Consortium (1)

Tutto
+

MARC Lista (tabellare) Raggruppa

Seleziona tutti

Image analysis : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings / Joni-Kristian Kämäräinen, Markus Koskela (eds.).

[Scandinavian Conference on Image Analysis (18th : 2013 : Espoo, Finland)]

Materiale a stampa

Lo trovi qui: University of Chicago

Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures / Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.).

[International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)]

Materiale a stampa

Lo trovi qui: University of Chicago

Safe and secure software reuse : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / John Favaro, Maurizio Morisio (eds.).

[International Conference on Software Reuse (13th : 2013 : Pisa, Italy)]

Materiale a stampa

Lo trovi qui: University of Chicago

Trust and trustworthy computing : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings / Michael Huth [and others] (eds.).

[TRUST (Conference) (6th : 2013 : London, England)]

Materiale a stampa

Lo trovi qui: University of Chicago

Modelling foundations and applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / Pieter van Gorp, Tom Ritter, Louis M. Rose (eds.).

[ECMFA (Conference) (9th : 2013 : Montpellier, France)]

Materiale a stampa

Lo trovi qui: University of Chicago

Algorithms and data structures : 13th international symposium, WADS 2013, London, ON, Canada, August 12-14, 2013, proceedings / Frank Dehne, Roberto Solis-Oba, Jörg-Rüdiger Sack (eds.).

[WADS (Symposium) (13th : 2013 : London, Ont.)]

Materiale a stampa

Lo trovi qui: University of Chicago

Neural information processing : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, proceedings. Part II / Bao-Liang Lu, Liqing Zhang, James Kwok (eds.).

[ICONIP (Conference) (18th : 2011 : Shanghai, China)]

Materiale a stampa

Lo trovi qui: University of Chicago

Entertainment computing-- ICEC 2011 : 10th International Conference, ICEC 2011, Vancouver, Canada, October 5-8, 2011. proceedings / edited by Junia Coutinho Anacleto [and others]

[ICEC (Conference) (10th : 2011 : Vancouver, B.C.)]

Materiale a stampa

Lo trovi qui: University of Chicago

Advances in databases : 28th British National Conference on Databases, BNCOD 28, Manchester, UK, July 12-14, 2011, revised selected papers / Alvaro A.A. Fernandes, Alasdair J.G. Gray, Khalid Belhajjame (eds.).

[British National Conference on Databases (28th : 2011 : Manchester, England)]

Materiale a stampa

Lo trovi qui: University of Chicago

Biometric recognition : 6th Chinese Conference, CCBR 2011, Beijing, China, December 3-4, 2011, proceedings / edited by Zhenan Sun [and others]

[Chinese Conference on Biometric Recognition (6th : 2011 : Beijing, China)]

Materiale a stampa

Lo trovi qui: University of Chicago

1 2 3 4 5 6 7 8 9 10 11 12 13 ...

Formato

Materiale a stampa (7630)
Risorse elettroniche (11)

Livello bibliografico

Monografie (7638)
Periodici (3)

Data

Data di pubblicazione

2012 (3482)
2013 (2623)
2011 (1441)
2010 (24)
2014 (23)
2005 (6)
2009 (5)
2004 (4)
2006 (4)
2008 (4)
2018 (4)

Creatore	[Scandinavian Conference on Image Analysis (18th : 2013 : Espoo, Finland)]
Estensione	1 online resource (xiv, 733 pages) : illustrations.
Accesso persona	Kämäräinen, Joni-Kristian, editor Koskela, Markus, editor
Genere/Forma	Electronic books Conference papers and proceedings Ebook Congresses
Soggetto non controllato	Computer science Artificial intelligence Computer graphics Optical pattern recognition Image Processing and Computer Vision Pattern Recognition
ISBN	9783642388866 3642388868 9783642388859
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Feature Extraction and Segmentation. Texture Description with Completed Local Quantized Patterns / Xiaohua Huang [and others] -- A Local Image Descriptor Robust to Illumination Changes / Sebastian Zambanini, Martin Kampel -- Detection of Curvilinear Structures by Tensor Voting Applied to Fiber Characterization / Nataliya Strokina [and others] -- Simple-Graphs Fusion in Image Mosaic: Application to Automated Cell Files Identification in Wood Slices / Guilhem Brunel [and others] -- Unsupervised Segmentation of Anomalies in Sequential Data, Images and Volumetric Data Using Multiscale Fourier Phase-Only Analysis / Fabian Bürger, Josef Pauli -- Extended 3D Line Segments from RGB-D Data for Pose Estimation / Anders Glent Buch [and others] -- Incorporating Texture Intensity Information into LBP-Based Operators / M. Ghahramani, Guoying Zhao, Matti Pietikäinen -- Bayesian Non-parametric Image Segmentation with Markov Random Field Prior / Ehsan Amid -- Evaluating Local Feature Detectors in Salient Region Detection / Teemu Kinnunen, Mari Laine-Hernandez, Pirkko Oittinen. Forest Stand Delineation Using a Hybrid Segmentation Approach Based on Airborne Laser Scanning Data / Zhengzhe Wu [and others] -- Mean Shift with Flatness Constraints / Eduard Sojka, Milan Šurkala, Jan Gaura -- Constructing Local Binary Pattern Statistics by Soft Voting / Juha Ylioinas, Xiaopeng Hong, Matti Pietikäinen -- Pattern Recognition and Machine Learning. Cascaded Random Forest for Fast Object Detection / Florian Baumann [and others] -- Multiplicative Updates for Learning with Stochastic Matrices / Zhanxing Zhu, Zhirong Yang, Erkki Oja -- Validating the Visual Saliency Model / Ali Alsam, Puneet Sharma -- Bundle Methods for Structured Output Learning -- Back to the Roots / Michal Uřičář, Vojtěch Franc, Václav Hlaváč -- Continuous-Space Gaussian Process Regression and Generalized Wiener Filtering with Application to Learning Curves / Simo Särkkä, Arno Solin -- Approximations of Gaussian Process Uncertainties for Visual Recognition Problems / Paul Bodesheim [and others] -- Topology-Preserving Dimension-Reduction Methods for Image Pattern Recognition / Hayato Itoh [and others]. Efficient Boosted Weak Classifiers for Object Detection / Xiaopeng Hong [and others] -- Domain Adaptation for Sequential Detection / Šimon Fojtů [and others] -- Introducing a Inter-frame Relational Feature Model for Pedestrian Detection / Andreas Zweng, Martin Kampel -- Medical and Biomedical Image Analysis -- Automated Cell Counting in Bürker Chamber / Karel Štěpka -- Adaptive Spatio-temporal Filtering of 4D CT-Heart / Mats Andersson, Hans Knutsson -- Toward Automated Validation of Sketch-Based 3D Segmentation Editing Tools / Frank Heckel [and others] -- FAST-PVE: Extremely Fast Markov Random Field Based Brain MRI Tissue Classification / Jussi Tohka -- Automated Tracing of Retinal Blood Vessels Using Graphical Models / Jaydeep De [and others] -- Genus Zero Graph Segmentation: Estimation of Intracranial Volume / Rasmus R. Jensen [and others] -- Vessel Wall Segmentation Using Implicit Models and Total Curvature Penalizers / Rodrigo Moreno, Chunliang Wang, Örjan Smedby -- Faces and Gestures -- Dynamic 3D Facial Expression Recognition Using Robust Shape Features / Ahmed Maalej, Hedi Tabia, Halim Benhabiles. Head Pose Estimation Using Multi-scale Gaussian Derivatives / Varun Jain, James L. Crowley -- Finger Tracking for Gestural Interaction in Mobile Devices / Matti Matilainen, Jari Hannuksela, Lixin Fan -- Extracting Local Binary Patterns from Image Key Points: Application to Automatic Facial Expression Recognition / Xiaoyi Feng [and others] -- Head Pose Estimation for Sign Language Video / Marcos Luzardo [and others] -- Detecting Hand-Head Occlusions in Sign Language Video / Ville Viitaniemi [and others] -- Gender Recognition Using Nonsubsampled Contourlet Transform and WLD Descriptor / Muhammad Hussain [and others] -- Object and Scene Recognition -- Unsupervised Visual Object Categorisation with BoF and Spatial Matching / Teemu Kinnunen [and others] -- Improved Object Detection and Pose Using Part-Based Models / Fangyuan Jiang [and others] -- Non Maximal Suppression in Cascaded Ranking Models / Matthew B. Blaschko, Juho Kannala, Esa Rahtu -- Exploiting Object Characteristics Using Custom Features for Boosting-Based Classification / Arne Ehlers, Florian Baumann, Bodo Rosenhahn. Apprenticeship Learning: Transfer of Knowledge via Dataset Augmentation / Miroslav Kobetski, Josephine Sullivan -- Adding Discriminative Power to Hierarchical Compositional Models for Object Class Detection / Matej Kristan [and others] -- Matching, Registration and Alignment. Learning Multi-view Correspondences via Subspace-Based Temporal Coincidences / Christian Conrad, Rudolf Mester -- Interest Region Description Using Local Binary Pattern of Gradients / Sajid Saleem, Robert Sablatnig -- Probabilistic Hough Voting for Attitude Estimation from Aerial Fisheye Images / Bertil Grelsson, Michael Felsberg -- Automatic Optimization of Alignment Parameters for Tomography Datasets / Folkert Bleichrodt, K. Joost Batenburg -- Least-Squares Transformations between Point-Sets / Kalle Rutanen [and others] -- 3D Object Pose Estimation Using Viewpoint Generative Learning / Dissaphong Thachasongtham [and others]. 3D Vision. Structure from Motion Estimation with Positional Cues / Linus Svärm, Magnus Oskarsson -- Probabilistic Range Image Integration for DSM and True-Orthophoto Generation / Markus Rumpler, Andreas Wendel, Horst Bischof -- On-line Stereo Self-calibration through Minimization of Matching Costs / Robert Spangenberg, Tobias Langner, Raúl Rojas -- Depth Map Inpainting under a Second-Order Smoothness Prior / Daniel Herrera C. [and others] -- Merging Overlapping Depth Maps into a Nonredundant Point Cloud / Tomi Kyöstilä [and others] -- Industrial Phase-Shifting Profilometry in Motion / P. Schroeder [and others] -- Color and Multispectral Image Analysis. Asymmetry as a Measure of Visual Saliency / Ali Alsam, Puneet Sharma, Anette Wrålsen -- Detection of Small Roof Details in Image Sequences / Dimitri Bulatov, Melanie Pohl -- Supervised Object Class Colour Normalisation / Ekaterina Riabchenko [and others] -- Statistical Quality Assessment of Pre-fried Carrots Using Multispectral Imaging / Sara Sharifzadeh [and others]. Motion Analysis. A Feature-Based Adaptive Model for Realtime Face Tracking on Smart Phones / Quang Nhat Vo, GueeSang Lee -- Classification of RGB-D and Motion Capture Sequences Using Extreme Learning Machine / Xi Chen, Markus Koskela -- Robust Scale-Adaptive Mean-Shift for Tracking / Tomas Vojir, Jana Noskova, Jiri Matas -- Systems and Applications. -- Airborne Based High Performance Crowd Monitoring for ecurity Applications / Roland Perko [and others] -- Characterizing Spatters in Laser Welding of Thick Steel Using Motion Flow Analysis / Olli Lahdenoja [and others] -- Human-Centered Computing. Perceptually-Inspired Artistic Genre Identification System in Digitized Painting Collections / Razvan George Condorovici [and others] -- Video and Multimedia Analysis. High Capacity Reversible Watermarking for Images Based on Classified Neural Network / Rongrong Ni [and others] -- Other. Saliency Detection Using Joint Temporal and Spatial Decorrelation / Hamed Rezazadegan Tavakoli, Esa Rahtu, Janne Heikkilä -- Density Driven Diffusion / Freddie Åström, Vasileios Zografos, Michael Felsberg.
Record Nr.	UCHICAGO-11078797

Creatore	[International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)]
Estensione	1 online resource (179 pages) : illustrations (black and white).
Accesso persona	Bernardo, Marco, editor Vink, Erik de, editor Di Pierro, Alessandra, editor Wiklicky, Herbert, editor
Genere/Forma	Electronic books Conference papers and proceedings Ebook Congresses
Soggetto non controllato	Computer science Software engineering Logic design Bioinformatics Logics and Meanings of Programs Computational Biology/Bioinformatics Computation by Abstract Devices
ISBN	9783642388743 3642388744 9783642388736
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Automation of Quantitative Information-Flow Analysis / Boris Köpf, Andrey Rybalchenko -- ODE Analysis of Biological Systems / Diana-Elena Gratie, Bogdan Iancu, Ion Petre -- Model Checking of Biological Systems / Luboš Brim, Milan Češka, David Šafránek -- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation / Luca Bortolussi, Jane Hillston -- Topological Quantum Computation / Jiannis K. Pachos.
Record Nr.	UCHICAGO-11078873

Creatore	[International Conference on Software Reuse (13th : 2013 : Pisa, Italy)]
Estensione	1 online resource (xiii, 362 pages) : illustrations.
Accesso persona	Favaro, J. (John), editor. Morisio, Maurizio, 1960-editor
Genere/Forma	Electronic books Conference papers and proceedings Ebook Congresses
Soggetto non controllato	Computer science Software engineering Programming Techniques Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Models and Principles
ISBN	9783642389771 3642389775 9783642389764
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Introduction / Karin Heinrichs, Fritz Oser, Terence Lovat -- Models of Moral Motivation / Fritz Oser -- Foundations of Moral Motivation. "Why be Moral?" a Philosophical Taxonomy of Moral Motivation / Thomas E. Wren -- Moral Motivation and the Four Component Model / Stephen J. Thoma, Muriel J. Bebeau -- Deontic and Responsibility Judgments / Gerhard Minnameier -- Motivation as the Readiness to Act on Moral Commitments / Theresa A. Thorkildsen -- Motivational Theory and Moral Motivation. Ultimate and Proximal (Attribution-Related) Motivational Determinants of Moral Behaviour / Bernard Weiner -- Moral Motivation from the Perspective of the Self-Determination Theory and the Person-Object Theory of Interest / Andreas Krapp -- How Different Motivational Aspects can Affect Moral Behaviour / Regina Vollmeyer, Konstanze Jenderek, Tahmine Tozman -- Justice as a Moral Motive / Anna Baumert, Tobias Rothmund, Nadine Thomas, Mario Gollwitzer, Manfred Schmitt -- Temporal Construal and Moral Motivation / Jens Agerström, Fredrik Björklund -- Moral Self, Identity and Moral Motivation. Moral Motivation through the Perspective of Exemplarity / Lawrence J. Walker -- Moral Motivation, Responsibility and the Development of the Moral Self / Tobias Krettenauer -- The Self and the Management of the Moral Life / Augusto Blasi -- Practical Mysticism, Self-Knowing and Moral Motivation / Terence Lovat -- Developmental Effects, Emotions and Moral Motivation. Moral Motivation and the Happy Victimizer Phenomenon / Gertrud Nunner-Winkler -- The Development of Moral Identity and Moral Motivation in Childhood and Adolescence / Bettina Doering -- Moral Emotion Attributions and Moral Motivation / Luciano Gasser, Eveline Gutzwiller-Helfenfinger, Brigitte Latzko, Tina Malti -- Neurobiology and Moral Mindset / Darcia Narvaez -- A Simile of Moral Motivation / Don Collins Reed -- Good and Bad Moral Motivation. Moral Value Evaluation / Marinus G.C.J. Beerthuizen, Daniel Brugman -- Juvenile Delinquency / Stefan Weyers -- Moral Motivation and Sports / Clark Power, Kristin K. Sheehan -- From Ethical Hostility toward Cooperative Ethics / Klaus-Jürgen Grün -- How Powerful are Moral Motivations in Environmental Protection? / Christian A. Klöckner -- Moral Motivation in Professions. Moral Motivation in Different Professions / Muriel J. Bebeau, Stephen J. Thoma -- Moral Motivation of Military Professionals / Freelance Philosopher and Author Edwin R. Micewski -- Ethical Intentions and the Moral Motivation of Teachers / Elizabeth Campbell -- Female Principals' Moral Motivation and the Moral Atmosphere of Schools / Chi-Ming Angela Lee -- Moral Motivation and Moral Education. Moral Reasoning, Moral Motivation and Informed Social Reflection / Janet Kwok, Robert L. Selman -- Character and Civic Education as a Source of Moral Motivation / Wolfgang Althof, Marvin W. Berkowitz -- Moral Motivation and the Role of the Internship in Professional Preparation / Sharon Nodie Oja, Patricia J. Craig -- Why Moral Education is Motivating by Nature / Francisco Esteban Bara, Maria Rosa Buxarrais Estrada -- Moral Motivation in the Light of Action Theory / Karin Heinrichs.
Record Nr.	UCHICAGO-11078964

Creatore	[TRUST (Conference) (6th : 2013 : London, England)]
Estensione	1 online resource.
Accesso persona	Huth, Michael, 1962-
Genere/Forma	Electronic books Conference papers and proceedings Ebook Congresses
Soggetto non controllato	Computer science Computer Communication Networks Data encryption (Computer science) Computer software Information Systems Management of Computing and Information Systems Algorithm Analysis and Problem Complexity Computers and Society Information Systems Applications (incl. Internet)
ISBN	9783642389085 3642389082 3642389074 9783642389078
Classificazione	54.62 54.32
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Technical Strand. KISS: "Key It Simple and Secure" Corporate Key Management / Zongwei Zhou [and others] -- Guardian: Hypervisor as Security Foothold for Personal Computers / Yueqiang Cheng, Xuhua Ding -- Improving Trusted Tickets with State-Bound Keys / Jan Nordholz, Ronald Aigner, Paul England -- Group Signatures on Mobile Devices: Practical Experiences / Klaus Potzmader [and others] -- Limiting Data Exposure in Monitoring Multi-domain Policy Conformance / Mirko Montanari [and others] -- Towards Trustworthy Network Measurements / Ghassan O. Karame -- Stochastic Model of a Metastability-Based True Random Number Generator / Molka Ben-Romdhane, Tarik Graba, Jean-Luc Danger -- Semi-automated Prototyping of a TPM v2 Software and Hardware Simulation Platform / Martin Pirker, Johannes Winter -- Tapping and Tripping with NFC / Sandeep Tamrakar, Jan-Erik Ekberg -- TEEM: A User-Oriented Trusted Mobile Device for Multi-platform Security Applications / Wei Feng [and others] -- TRUMP: A Trusted Mobile Platform for Self-management of Chronic Illness in Rural Areas / Chris Burnett [and others] -- First-Class Labels: Using Information Flow to Debug Security Holes / Eric Hennigan [and others] -- A Framework for Evaluating Mobile App Repackaging Detection Algorithms / Heqing Huang [and others] -- Towards Precise and Efficient Information Flow Control in Web Browsers / Christoph Kerschbaumer [and others]. Socio-Economic Strand. Granddaughter Beware! An Intergenerational Case Study of Managing Trust Issues in the Use of Facebook / Ann Light, Lizzie Coles-Kemp -- Contextualized Web Warnings, and How They Cause Distrust / Steffen Bartsch [and others] -- All In: Targeting Trustworthiness for Special Needs User Groups in the Internet of Things / Marc Busch [and others] -- Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach / Gabrielle Anderson, Matthew Collinson, David Pym -- "Fairly Truthful": The Impact of Perceived Effort, Fairness, Relevance, and Sensitivity on Personal Data Disclosure / Miguel Malheiros, Sören Preibusch, M. Angela Sasse -- Poster Abstracts. Formal Evaluation of Persona Trustworthiness with EUSTACE / Shamal Faily [and others] -- Identity Implies Trust in Distributed Systems -- A Novel Approach / Lyzgeo Merin Koshy [and others] -- Non-intrusive and Transparent Authentication on Smart Phones / Nicholas Micallef [and others] -- Quaestio-it.com: From Debates Towards Trustworthy Answers / Valentinos Evripidou, Francesca Toni -- Towards Verifiable Trust Management for Software Execution / Michael Huth, Jim Huan-Pu Kuo.
Record Nr.	UCHICAGO-11078969

Creatore	[ECMFA (Conference) (9th : 2013 : Montpellier, France)]
Estensione	1 online resource (x, 235 pages) : illustrations (black and white).
Accesso persona	Gorp, Pieter van, editor Ritter, Tom, editor Rose, Louis M., editor.
Genere/Forma	Electronic books Conference papers and proceedings Ebook Congresses
Soggetto non controllato	Computer science Computer Communication Networks Software engineering Logic design Information Systems Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Programming Techniques
ISBN	9783642390135 3642390137 9783642390128
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Foundations. Employing the Object Constraint Language in Model-Based Engineering / Martin Gogolla -- MOCQL: A Declarative Language for Ad-Hoc Model Querying / Harald Störrle -- Supporting Different Process Views through a Shared Process Model / Jochen Küster [and others] -- Characterization of Adaptable Interpreted-DSML / Eric Cariou [and others] -- Transformation as Search / Mathias Kleiner, Marcos Didonet Del Fabro, Davi De Queiroz Santos -- Model-Based Generation of Run-Time Monitors for AUTOSAR / Lars Patzina [and others] -- End-User Support for Debugging Demonstration-Based Model Transformation Execution / Yu Sun, Jeff Gray -- DPMP: A Software Pattern for Real-Time Tasks Merge / Rania Mzid [and others] -- Using Model Types to Support Contract-Aware Model Substitutability / Wuliang Sun [and others] -- Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing / Fabrice Ambert [and others] -- Applications. A Network-Centric BPMN Model for Business Network Management / Daniel Ritter -- Design Management: A Collaborative Design Solution / Maged Elaasar, James Conallen -- Umbra Designer: Graphical Modelling for Telephony Services / Nicolás Buezas [and others] -- Experience with Industrial Adoption of Business Process Models for User Acceptance Testing / Deepali Kholkar [and others] -- A Case Study in Evidence-Based DSL Evolution / Jeroen van den Bos, Tijs van der Storm -- Model Driven Software Development / Vinay Kulkarni.
Record Nr.	UCHICAGO-11079572