Search results for "FACS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
42	Silvia Amaro, Ernesto Pimentel 0001, Ana M. Roldán	Reo Based Interaction Model.	FACS	2005	DBLP DOI BibTeX RDF
42	Laura Bocchi, Paolo Ciancarini	On the Impact of Formal Methods in the SOA.	FACS	2005	DBLP DOI BibTeX RDF
42	Lian Wen, R. Geoff Dromey	Architecture Normalization for Component-based Systems.	FACS	2005	DBLP DOI BibTeX RDF
42	Jifeng He 0001, Xiaoshan Li, Zhiming Liu 0001	A Theory of Reactive Components.	FACS	2005	DBLP DOI BibTeX RDF
42	Zhiming Liu 0001, Luís Soares Barbosa	Preface.	FACS	2005	DBLP DOI BibTeX RDF
42	Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot	On the Contribution of a tau.	FACS	2005	DBLP DOI BibTeX RDF
42	Jan Carlson, John Håkansson, Paul Pettersson	SaveCCM: An Analysable Component Model for Real-Time Systems.	FACS	2005	DBLP DOI BibTeX RDF
42	María Victoria Cengarle, Peter Graubmann, Stefan Wagner 0001	Semantics of UML 2.0 Interactions with Variabilities.	FACS	2005	DBLP DOI BibTeX RDF
42	Ivanilton Polato, Antonio Mendes da Silva Filho	A Component-based Approach to Embedded Software Design.	FACS	2005	DBLP DOI BibTeX RDF
42	Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing	A Component Model for Architectural Programming.	FACS	2005	DBLP DOI BibTeX RDF
42	Grant Malcolm	Component-Based Specification of Distributed Systems.	FACS	2005	DBLP DOI BibTeX RDF
42	Farhad Arbab	Coordination for Component Composition.	FACS	2005	DBLP DOI BibTeX RDF
42	Rémi Bastide, Eric Barboni	Software Components: a Formal Semantics Based on Coloured Petri Nets.	FACS	2005	DBLP DOI BibTeX RDF
42	Pavel Jezek, Jan Kofron, Frantisek Plásil	Model Checking of Component Behavior Specification: A Real Life Experience.	FACS	2005	DBLP DOI BibTeX RDF
42	Tomás Barros, Ludovic Henrio, Eric Madelaine	Verification of Distributed Hierarchical Components.	FACS	2005	DBLP DOI BibTeX RDF
42	Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab	Towards an Automated Deployment Planner for Composition of Web Services as Software Components.	FACS	2005	DBLP DOI BibTeX RDF
40	Jacob Whitehill, Christian W. Omlin	Haar Features for FACS AU Recognition.	FGR	2006	DBLP DOI BibTeX RDF
32	Meeri Mäkäräinen, Tapio Takala	An Approach for Creating and Blending Synthetic Facial Expressions of Emotion.	IVA	2009	DBLP DOI BibTeX RDF
32	Fernando De la Torre, Joan Campoy, Zara Ambadar, Jeff F. Conn	Temporal Segmentation of Facial Behavior.	ICCV	2007	DBLP DOI BibTeX RDF
32	Marc Fabri, David J. Moore, Dave J. Hobbs	Mediating the expression of emotion in educational collaborative virtual environments: an experimental study.	Virtual Real.	2004	DBLP DOI BibTeX RDF	Emotion, Collaborative virtual environment, Avatar, Facial expression
32	Jeffrey F. Cohn, Lawrence Ian Reed, Tsuyoshi Moriyama, Jing Xiao, Karen L. Schmidt, Zara Ambadar	Multimodal Coordination of Facial Action, Head Rotation, and Eye Motion during Spontaneous Smiles.	FGR	2004	DBLP DOI BibTeX RDF
32	Ying-li Tian, Takeo Kanade, Jeffrey F. Cohn	Recognizing Action Units for Facial Expression Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	multistate face and facial component models, action units, AU combinations, neural network, Computer vision, facial expression analysis, facial action coding system
32	Irfan A. Essa, Alex Pentland	Coding, Analysis, Interpretation, and Recognition of Facial Expressions.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	face processing, perception of action, vision-based HCI, motion analysis, emotion recognition, Facial expression analysis, expression recognition, facial analysis
32	S. T. Becker, Kiran M. Rege, Bhaskar Sengupta	A Modeling Methodology for Sizing a Computer Based System in a Netted Environment.	SIGMETRICS	1984	DBLP DOI BibTeX RDF
27	Terry Windeatt, Kaushala Dias	Ensemble Approaches to Facial Action Unit Classification.	CIARP	2008	DBLP DOI BibTeX RDF	Ensembles, Feature-ranking, FACS, ECOC
27	Bjorn Braathen, Marian Stewart Bartlett, Gwen Littlewort, Evan Smith, Javier R. Movellan	An Approach to Automatic Recognition of Spontaneous Facial Actions.	FGR	2002	DBLP DOI BibTeX RDF	3D pose, spontaneous facial expressions, hidden Markov models, particle filtering, Gabor wavelets, Facial expression recognition, head pose estimation, Markov chain Monte-Carlo methods, Facial action coding system, FACS
24	Gwen Salaün	Editorial for FACS 2021 special section (SoSyM).	Softw. Syst. Model.	2023	DBLP DOI BibTeX RDF
24	Seong-Jin Jang, Hui Dong Lee, Bonghyuk Park, Seunghyun Jang, Sunwoo Kong, Changkun Park	Design of CMOS-Based Unit Channel of Beamforming Transceivers for FACS Applications.	IEEE Access	2023	DBLP DOI BibTeX RDF
24	Tim Büchner, Sven Sickert, Gerd Fabian Volk, Christoph Anders, Orlando Guntinas-Lichius, Joachim Denzler	Let's Get the FACS Straight - Reconstructing Obstructed Facial Features.	CoRR	2023	DBLP DOI BibTeX RDF
24	Mao Segawa, Hiroki Nomiya	Two-Step Classification Method for Sadness and Fear Facial Expression Classification Using Facial Feature Points and FACS.	CISIM	2023	DBLP DOI BibTeX RDF
24	Esra Özmen, Ersin Karaman, Nurcan Alkis-Bayhan	Users' Emotional Experiences on e-Commerce Websites: A Study with EEG and FACS Data.	CoDIT	2023	DBLP DOI BibTeX RDF
24	Tim Büchner, Sven Sickert, Gerd Fabian Volk, Christoph Anders, Orlando Guntinas-Lichius, Joachim Denzler	Let's Get the FACS Straight: Reconstructing Obstructed Facial Features.	VISIGRAPP (4: VISAPP)	2023	DBLP DOI BibTeX RDF
24	Marius Auflem, Sampsa Kohtala, Malte F. Jung, Martin Steinert	Facing the FACS - Using AI to Evaluate and Control Facial Action Units in Humanoid Robot Face Development.	Frontiers Robotics AI	2022	DBLP DOI BibTeX RDF
24	Walid Osamy, Ahmed M. Khedr	FACS: Fairness aware clustering scheme for monitoring applications of internet of things based wireless sensor networks.	J. King Saud Univ. Comput. Inf. Sci.	2022	DBLP DOI BibTeX RDF
24	Imran Mahmood, Hamid Arabnejad, Diana Suleimenova, Isabel Sassoon, Alaa Marshan, Alan Edwin Serrano-Rico, Panos Louvieris, Anastasia Anagnostou, Simon J. E. Taylor, David Bell, Derek Groen	FACS: A geospatial agent-based simulator for analysing COVID-19 spread and public health measures on local regions.	J. Simulation	2022	DBLP DOI BibTeX RDF
24	Constantin Octavian Puiu	Randomized K-FACs: Speeding up K-FAC with Randomized Numerical Linear Algebra.	CoRR	2022	DBLP DOI BibTeX RDF
24	Constantin Octavian Puiu	Brand New K-FACs: Speeding up K-FAC with Online Decomposition Updates.	CoRR	2022	DBLP DOI BibTeX RDF
24	José Proença, Markus Lumpe	Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017).	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
24	Sung-Shik Jongmans, Farhad Arbab	Preface - Special Issue on selected and extended papers from FACS 2019.	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
24	Constantin Octavian Puiu	Randomized K-FACs: Speeding Up K-FAC with Randomized Numerical Linear Algebra.	IDEAL	2022	DBLP DOI BibTeX RDF
24	Anastasia Anagnostou, Derek Groen, Simon J. E. Taylor, Diana Suleimenova, Nura Tijjani Abubakar, Arindam Saha, Kate Mintram, Maziar Ghorbani, Habiba Daroge, Tasin Islam, Yani Xue, Edward Okine, Nana Anokye	FACS-CHARM: A Hybrid Agent-Based and Discrete-Event Simulation Approach for Covid-19 Management at Regional Level.	WSC	2022	DBLP DOI BibTeX RDF
24	Francisco Santos, Junke Ye, Farzan Masrour, Pang-Ning Tan, Abdol-Hossein Esfahanian	FACS-GCN: Fairness-Aware Cost-Sensitive Boosting of Graph Convolutional Networks.	IJCNN	2022	DBLP DOI BibTeX RDF
24	Redha Taguelmimt, Samir Aknine, Djamila Boukredera, Narayan Changder	FACS: Fast Code-based Algorithm for Coalition Structure Generation (Student Abstract).	AAAI	2021	DBLP DOI BibTeX RDF
24	Jara Alvarez Masso, Alexandru Mihai Rogozea, Jan Medvesek, Saeid Mokaram, Yijun Yu	LIPSYNC.AI: A.I. Driven Lips and Tongue Animations Using Articulatory Phonetic Descriptors and FACS Blendshapes.	SIGGRAPH ASIA Emerging Technologies	2021	DBLP DOI BibTeX RDF
24	Adamu Muhammad Buhari, Chee-Pun Ooi, Vishnu Monn Baskaran, Raphaël C.-W. Phan, KokSheik Wong, Wooi-Haw Tan	FACS-Based Graph Features for Real-Time Micro-Expression Recognition.	J. Imaging	2020	DBLP DOI BibTeX RDF
24	Kyungmin Bae, Peter Csaba Ölveczky	Formal aspects of component software (FACS 2018).	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
24	Olga Kouchnarenko, Eric Madelaine	Selected and extended papers from FACS 2016.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
24	Vittorio Cuculo, Alessandro D'Amelio	OpenFACS: An Open Source FACS-Based 3D Face Animation System.	ICIG (2)	2019	DBLP DOI BibTeX RDF
24	Tariqul Islam 0001, Dakshnamoorthy Manivannan	FaCS: Toward a Fault-Tolerant Cloud Scheduler Leveraging Long Short-Term Memory Network.	CSCloud/EdgeCom	2019	DBLP DOI BibTeX RDF
24	Pedro Carvalho Gerardo, Paulo Menezes 0001	Classification of FACS-Action Units with CNN Trained from Emotion Labelled Data Sets.	SMC	2019	DBLP DOI BibTeX RDF
24	Zhanli Chen, Rashid Ansari, Diana J. Wilkie	Automated Pain Detection from Facial Expressions using FACS: A Review.	CoRR	2018	DBLP BibTeX RDF
24	Stef van der Struijk, Hung-Hsuan Huang, Maryam Sadat Mirzaei, Toyoaki Nishida	FACSvatar: An Open Source Modular Framework for Real-Time FACS based Facial Animation.	IVA	2018	DBLP DOI BibTeX RDF
24	Adrian K. Davison, Walied Merghani, Cliff Lansley, Choon-Ching Ng, Moi Hoon Yap	Objective Micro-Facial Movement Detection Using FACS-Based Regions and Baseline Evaluation.	FG	2018	DBLP DOI BibTeX RDF
24	Christiano Braga	Preface to Special issue with extended selected papers from FACS 2015.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
24	Adrian K. Davison, Cliff Lansley, Choon-Ching Ng, Kevin Tan, Moi Hoon Yap	Objective Micro-Facial Movement Detection Using FACS-Based Regions and Baseline Evaluation.	CoRR	2016	DBLP BibTeX RDF
24	Matthew Shreve, Edgar A. Bernal, Qun Li 0003, Jayant Kumar, Raja Bala	A study on the discriminability of facs from spontaneous facial expressions.	ICIP	2016	DBLP DOI BibTeX RDF
24	Shridhar Ravikumar, Colin Davidson, Dmitry Kit, Neill D. F. Campbell, Luca Benedetti, Darren Cosker	Reading Between the Dots: Combining 3D Markers and FACS Classification for High-Quality Blendshape Facial Animation.	Graphics Interface	2016	DBLP DOI BibTeX RDF
24	Isabelle M. Menne, Christin Schnellbacher, Frank Schwab	Facing Emotional Reactions Towards a Robot - An Experimental Study Using FACS.	ICSR	2016	DBLP DOI BibTeX RDF
24	Dinesh Kumar, Jito Vanualailai	Low Bandwidth Video Streaming using FACS, Facial Expression and Animation Techniques.	VISIGRAPP (1: GRAPP)	2016	DBLP DOI BibTeX RDF
24	Keita Matsuo, Donald Elmazi, Yi Liu 0011, Shinji Sakamoto, Gjergji Mino, Leonard Barolli	FACS-MP: A fuzzy admission control system with many priorities for wireless cellular networks and its performance evaluation.	J. High Speed Networks	2015	DBLP DOI BibTeX RDF
24	Reza Amini, Christine L. Lisetti, Guido Ruiz	HapFACS 3.0: FACS-Based Facial Expression Generator for 3D Speaking Virtual Characters.	IEEE Trans. Affect. Comput.	2015	DBLP DOI BibTeX RDF
24	José Luiz Fiadeiro, Zhiming Liu 0001	Formal Aspects of Component Software (FACS 2013).	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
24	Takaaki Inaba, Shinji Sakamoto, Tetsuya Oda, Leonard Barolli, Makoto Takizawa 0001	A New FACS for Cellular Wireless Networks Considering QoS: A Comparison Study of FuzzyC with MATLAB.	NBiS	2015	DBLP DOI BibTeX RDF
24	Amogh Gudi, H. Emrah Tasli, Tim M. den Uyl, Andreas Maroulis	Deep learning based FACS Action Unit occurrence and intensity estimation.	FG	2015	DBLP DOI BibTeX RDF
24	Jizheng Yan, Zhiliang Wang, Yan Yan	Humanoid Robot Head Design Based on Uncanny Valley and FACS.	J. Robotics	2014	DBLP DOI BibTeX RDF
24	Li Wang, Rui-Feng Li, Ke Wang 0028, Jian Cheng 0001	Feature Representation for Facial Expression Recognition Based on FACS and LBP.	Int. J. Autom. Comput.	2014	DBLP DOI BibTeX RDF
24	Corina S. Pasareanu, Gwen Salaün	Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12).	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
24	Luís Soares Barbosa, Markus Lumpe	Formal Aspects of Component Software (FACS 2010 selected and extended papers).	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
24	Senya Polikovsky, Yoshinari Kameda, Yuichi Ohta	Facial Micro-Expression Detection in Hi-Speed Video Based on Facial Action Coding System (FACS).	IEICE Trans. Inf. Syst.	2013	DBLP DOI BibTeX RDF
24	Reza Amini, Christine L. Lisetti	HapFACS: An Open Source API/Software to Generate FACS-Based Expressions for ECAs Animation and for Corpus Generation.	ACII	2013	DBLP DOI BibTeX RDF
24	Sun Meng, Bernhard Schätz	Formal Aspects of Component Software (FACS'09).	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
24	Reza Amini, Ugan Yasavur, Christine L. Lisetti	HapFACS 1.0: software/API for generating FACS-based facial expressions.	FAA	2012	DBLP DOI BibTeX RDF
24	Darren Cosker, Eva Krumhuber, Adrian Hilton 0001	A FACS valid 3D dynamic action unit database with applications to 3D dynamic morphable facial modeling.	ICCV	2011	DBLP DOI BibTeX RDF
24	Selpi, Torsten Wilhelm, Marcus Jansson, Li Hagstrom, Niklas Brandin, Magnus Andersson, John-Fredrik Grönvall	Automatic real-time FACS-coder to anonymise drivers in eye tracker videos.	ICCV Workshops	2011	DBLP DOI BibTeX RDF
24	Taku Ikebata, Gjergji Mino, Leonard Barolli, Fatos Xhafa, Arjan Durresi, Akio Koyama	Performance Evaluation of FACS-MP CAC System Priority Algorithm for Wireless Cellular Networks.	CISIS	2011	DBLP DOI BibTeX RDF
24	Eva Krumhuber, Lucas Tamarit, Klaus R. Scherer, Etienne B. Roesch	FACSGen 2.0: facial expression animation based on FACS.	FAA	2010	DBLP DOI BibTeX RDF
24	Darren Cosker, Eva Krumhuber, Adrian Hilton 0001	A FACS validated 3D human facial model.	FAA	2010	DBLP DOI BibTeX RDF
24	Kwang-Eun Ko, Kwee-Bo Sim	Emotion Recognition in Facial Image Sequences Using a Combination of AAM with FACS and DBN.	ICIRA (1)	2010	DBLP DOI BibTeX RDF
24	Léon J. M. Rothkrantz, Dragos Datcu, Pascal Wiggers	FACS-coding of facial expressions.	CompSysTech	2009	DBLP DOI BibTeX RDF
24	Eerke A. Boiten, John Derrick, Steve Reeves (eds.)	Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009	REFINE@FMWeek	2009	DBLP BibTeX RDF
24	Frank Zeyda, Marcel Oliveira, Ana Cavalcanti 0001	Supporting ArcAngel in ProofPower.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	Jeff W. Sanders, Graeme Smith 0001	Refining Emergent Properties.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	Steve Reeves, David Streader	Guarded Operations, Refinement and Simulation.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	Wim H. Hesselink, Muhammad Ikram Ullah Lali	Formalizing a Hierarchical File System.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	Carroll Morgan	How to Brew-up a Refinement Ordering.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	Steve Dunne	Of wlp and CSP.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	Viorel Preoteasa, Ralph-Johan Back	Data Refinement of Invariant Based Programs.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	Thomas Ruhroth, Heike Wehrheim	Static Class Elements for Object-Z.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	T. M. Rabehaja, Jeff W. Sanders	Data Refinement with Probability in Mind.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement: Automata.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	John Howse, Steve Schuman, Gem Stapleton, Ian Oliver	Diagrammatic Formal Specification of a Configuration Control Platform.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa	A Single Complete Relational Rule for Coalgebraic Refinement.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	Eerke A. Boiten, John Derrick, Steve Reeves	Preface.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	Stefan Hallerstede	Proving Quicksort Correct in Event-B.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa	Refinement by Interpretation in a General Setting.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
24	Eerke A. Boiten, John Derrick, Graeme Smith 0001 (eds.)	Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007	REFINE@IFM	2008	DBLP BibTeX RDF
24	Eerke A. Boiten, John Derrick, Gerhard Schellhorn (eds.)	Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008	Refine@FM	2008	DBLP BibTeX RDF
24	H.-Christian Estler, Heike Wehrheim	Alloy as a Refactoring Checker?	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Steve Reeves, David Streader	General Refinement, Part Two: Flexible Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	John Derrick, Eerke A. Boiten	More Relational Concurrent Refinement: Traces and Partial Relations.	Refine@FM	2008	DBLP DOI BibTeX RDF