Search results for "FACS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Austin Melton	Specifying Internal, External, and Predictive Software Metrics.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	Charles Rattray (eds.)	Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]	Specification and Verification of Concurrent Systems	1990	DBLP BibTeX RDF
24	Donal Roantree, Maurice Clint	A Specification-Verification Framework for Distributed Applications Software.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	David R. Gilbert	Specification and Implementation of Concurrent Systems using PARLOG.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Sören Holmström	Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Francois D. Carrez, Dominique Méry	Temporal Specifications Directed by Grammar and Design of Process Networks.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	David Freestone	Specification and Verification in Communications Standards.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Pierre America	The Interplay of Theory and Practice in a Parallel Object-Oriented Language.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Udo Thalmann	Analysis of Estelle Specifications.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Elspeth Cusack	Formal Design and Development of Ada Real-Time Embedded Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	W. David Crowe, Peter E. D. Strain-Clark	A Concurrent Approach to the Towers of Hanoi.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone	Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Mathai Joseph, Asis Goswami	Semantics for Specifying Real-Time Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Parosh Aziz Abdulla, Stefan Arnborg	An Equivalence Decision Problem in Systolic Array Verification.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	L. D. Natanson, W. B. Samson	An Animator for CSP Implemented in HOPE.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Antonella Di Stefano, Fabio Gibilisco, Orazio Mirabella	Modeling of Distributed Problem Solving using Logic Modified Petri Nets.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Stephen A. Schuman, David H. Pitt, Paddy H. Byers	Object-Oriented Process Specification.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	J. D. Parker	Synchronization in Network Protocols.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Robin A. Nicholl	Concurrency in Modula-2: Properties of the Language Primitives.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Stuart Richard Matthews	The Specification and Design of a Nondeterministic Data Structure Using CCS.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Paul A. J. Tilanus, Yan Yang	Experience with LOTOS and Environment LOTTE on an ISDN Protocol.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams	Should Concurrency be Specified?	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Christopher M. Holt	Dynamic Communication Links.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	E. Pascal Gribomont	From Synchronous to Asynchronous Communication.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Peter Dybjer, Herbert P. Sander	A Functional Programming Approach to the Specification and Verification of Concurrent Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Robert G. Clark	The Design ad Development of Ada Real-Time Embedded Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Jeffrey J. Joyce	Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Vincenza Carchiolo, Alberto Faro, Michele Malgeri	A Tool for the Performance Analysis of Concurrent Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng	Protocol Analysis and Implementation using NPNs and SDL.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Jonathan Billington	A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Vangalur S. Alagar, Greetha Ramanathan	Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Wang Yi 0001	Specifying Processes in Terms of Their Environments.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
16	Yvonne Jung, Christine Weber, Jens Keil, Tobias Alexander Franke	Real-Time Rendering of Skin Changes Caused by Emotions.	IVA	2009	DBLP DOI BibTeX RDF
16	Yongmian Zhang, Qiang Ji, Zhiwei Zhu, Beifang Yi	Dynamic Facial Expression Analysis and Synthesis With MPEG-4 Facial Animation Parameters.	IEEE Trans. Circuits Syst. Video Technol.	2008	DBLP DOI BibTeX RDF
16	Eduardo de Oliveira, Patrícia Augustin Jaques	Inferindo as emoções do usuário pela face através de um sistema psicológico de codificação facial.	IHC	2008	DBLP BibTeX RDF	emotion, computer-mediated communication, affect
16	Emily Mower, Maja J. Mataric, Shrikanth S. Narayanan	Selection of Emotionally Salient Audio-Visual Features for Modeling Human Evaluations of Synthetic Character Emotion Displays.	ISM	2008	DBLP DOI BibTeX RDF
16	Matteo Sorci, Jean-Philippe Thiran, Javier Cruz, Thomas Robin, Michel Bierlaire	Modelling human perception of static facial expressions.	FG	2008	DBLP DOI BibTeX RDF
16	Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plásil	Introduction.	CoCoME	2007	DBLP DOI BibTeX RDF
16	Ansgar Bittermann, Kolja Kühnlenz, Martin Buss	On the Evaluation of Emotion Expressing Robots.	ICRA	2007	DBLP DOI BibTeX RDF
16	Lin Wang 0006, Minghu Jiang, Stefan Wölfl 0002, Yinghua Lu	Negative Localized Relationship Among p70S6 with Smad1, 2, 3 and p38 in Three Treated Human Cancer Cell Lines.	PAKDD Workshops	2007	DBLP DOI BibTeX RDF
16	Marian Stewart Bartlett, Gwen Littlewort, Esra Vural, Kang Lee, Müjdat Çetin, Aytül Erçil, Javier R. Movellan	Data Mining Spontaneous Facial Behavior with Automatic Expression Coding.	COST 2102 Workshop (Patras)	2007	DBLP DOI BibTeX RDF	machine learning, Facial expression recognition
16	Stefan Sosnowski, Ansgar Bittermann, Kolja Kühnlenz, Martin Buss	Design and Evaluation of Emotion-Display EDDIE.	IROS	2006	DBLP DOI BibTeX RDF
16	Elizabeth A. Crane, M. Melissa Gross, Barbara L. Fredrickson	Expression of Emotion in Body and Face.	IVA	2006	DBLP DOI BibTeX RDF
16	Toshimitsu Miyajima, Kinya Fujita	Control of Avatar's Facial Expression Using Fundamental Frequency in Multi-user Voice Chat System.	IVA	2006	DBLP DOI BibTeX RDF	communication, avatar, facial expression, voice chat
16	Charlotte Ghys, Nikos Paragios, Benedicte Bascle	Understanding 3D Emotions Through Compact Anthropometric Autoregressive Models.	ISVC (1)	2006	DBLP DOI BibTeX RDF
16	Marian Stewart Bartlett, Gwen Littlewort, Mark G. Frank, Claudia Lainscsek, Ian R. Fasel, Javier R. Movellan	Fully Automatic Facial Action Recognition in Spontaneous Behavior.	FGR	2006	DBLP DOI BibTeX RDF
16	Jacob Whitehill, Christian W. Omlin	Local versus Global Segmentation for Facial Expression Recognition.	FGR	2006	DBLP DOI BibTeX RDF
16	Jasbir N. Patel, Abdul Haseeb Ma, Takaya Ueda, Bonnie L. Gray, M. Ash Parameswaran, Bozena Kaminska	A Novel 3-Way Cell Sorter using Power Efficient Electrolysis-Based Actuator.	CCECE	2006	DBLP DOI BibTeX RDF
16	Hadi Seyedarabi, Won-Sook Lee, Ali Aghagolzadeh, Sohrab Khanmohammadi	Facial Expressions Recognition in a Single Static as well as Dynamic Facial Images Using Tracking and Probabilistic Neural Networks.	PSIVT	2006	DBLP DOI BibTeX RDF	Action Units, Facial Expressions, Active contours, Probabilistic Neural Networks
16	Yongmian Zhang, Qiang Ji	Active and Dynamic Information Fusion for Facial Expression Understanding from Image Sequences.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
16	Takeo Kanade	Facial Expression Analysis.	AMFG	2005	DBLP DOI BibTeX RDF
16	Marian Stewart Bartlett, Gwen Littlewort, Mark G. Frank, Claudia Lainscsek, Ian R. Fasel, Javier R. Movellan	Recognizing Facial Expression: Machine Learning and Application to Spontaneous Behavior.	CVPR (2)	2005	DBLP DOI BibTeX RDF
16	Hans van Kuilenburg, Marco A. Wiering, Marten den Uyl	A Model Based Method for Automatic Facial Expression Recognition.	ECML	2005	DBLP DOI BibTeX RDF
16	Beat Fasel, Florent Monay, Daniel Gatica-Perez	Latent semantic analysis of facial action codes for automatic facial expression recognition.	Multimedia Information Retrieval	2004	DBLP DOI BibTeX RDF	automatic facial expression recognition, latent semantic analysis
16	Dragos Datcu, Léon J. M. Rothkrantz	Automatic recognition of facial expressions using Bayesian belief networks.	SMC (3)	2004	DBLP DOI BibTeX RDF
16	John R. Cowell, Aladdin Ayesh	Extracting subtle facial expression for emotional analysis.	SMC (1)	2004	DBLP DOI BibTeX RDF
16	Haisong Gu, Qiang Ji	An Automated Face Reader for Fatigue Detection.	FGR	2004	DBLP DOI BibTeX RDF
16	Ashish Kapoor, Yuan (Alan) Qi, Rosalind W. Picard	Fully Automatic Upper Facial Action Recognition.	AMFG	2003	DBLP DOI BibTeX RDF
16	Ronghua Liang, Chun Chen 0001, Zhigeng Pan, Jiajun Bu	Robust Real-Time Face Tracking and Modeling from Video.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
16	Jeffrey F. Cohn, Karen L. Schmidt, Ralph Gross, Paul Ekman	Individual Differences in Facial Expression: Stability over Time, Relation to Self-Reported Emotion, and Ability to Inform Person Identification.	ICMI	2002	DBLP DOI BibTeX RDF	Face Recognition, Facial Expression, Individual Differences
16	Ying-li Tian, Takeo Kanade, Jeffrey F. Cohn	Evaluation of Gabor-Wavelet-Based Facial Action Unit Recognition in Image Sequences of Increasing Complexity.	FGR	2002	DBLP DOI BibTeX RDF	Facial Action Unit, Facial Expression, Gabor-wavelet
16	Yu Zhang 0075, Edmond C. Prakash, Eric Sung	Real-Time Physically-Based Facial Expression Animation Using Mass-Spring System.	Computer Graphics International	2001	DBLP DOI BibTeX RDF
16	John H. Reif, Thomas H. LaBean, Michael Pirrung, Vipul S. Rana, Bo Guo, Carl Kingsford, Gene S. Wickham	Experimental Construction of Very Large Scale DNA Databases with Associative Search Capability.	DNA	2001	DBLP DOI BibTeX RDF
16	Takeo Kanade	Detection, Recognition, and Expression Analysis of Human Faces.	Active Media Technology	2001	DBLP DOI BibTeX RDF
16	Ying-li Tian, Takeo Kanade, Jeffrey F. Cohn	Eye-State Action Unit Detection by Gabor Wavelets.	ICMI	2000	DBLP DOI BibTeX RDF
16	Ying-li Tian, Takeo Kanade, Jeffrey F. Cohn	Recognizing Upper Face Action Units for Facial Expression Analysis.	CVPR	2000	DBLP DOI BibTeX RDF
16	Takeo Kanade, Ying-li Tian, Jeffrey F. Cohn	Comprehensive Database for Facial Expression Analysis.	FG	2000	DBLP DOI BibTeX RDF
16	Gianluca Donato, Marian Stewart Bartlett, Joseph C. Hager, Paul Ekman, Terrence J. Sejnowski	Classifying Facial Actions.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	Computer vision, principal component analysis, independent component analysis, Gabor wavelets, facial expression recognition, Facial Action Coding System
16	Maja Pantic, Léon J. M. Rothkrantz	An Expert System for Multiple Emotional Classification of Facial Expressions.	ICTAI	1999	DBLP DOI BibTeX RDF	intelligent user interface tool, hybrid facial feature extraction, intelligent facial data evaluation, face action tracking, facial expression multiple emotional classification
16	Irfan A. Essa, Alex Pentland	Facial Expression Recognition Using a Dynamic Model and Motion Energy.	ICCV	1995	DBLP DOI BibTeX RDF	motion energy, human psychologists, static facial mugshots, probabilistic characterization, facial muscle activation, detailed physical model, muscle based representation, facial motion, estimated muscle activations, spatio temporal motion energy template, biologically plausible motion energy, face recognition, motion estimation, probability, image recognition, physics based model, dynamic model, visual databases, video database, facial expression recognition, Facial Action Coding System