Search results for "ASM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
139	Jaewon Sung, Takeo Kanade, Daijin Kim 0001	A Unified Gradient-Based Approach for Combining ASM into AAM.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	combining AAM into ASM, gradient-based optimization, AAM, facial expression recognition, ASM
118	Joëlle Cohen, Anatol Slissenko	Stability of Real-Time Abstract State Machines under Desynchronization.	ABZ	2008	DBLP DOI BibTeX RDF
116	Lianghua He, Stan Z. Li, Jianzhong Zhou, Li Zhao 0003, Cairong Zou	Optimal Shape Space and Searching in ASM Based Face Alignment.	SINOBIOMETRICS	2004	DBLP DOI BibTeX RDF
113	Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter	Interfacing ASM with the MDG Tool.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
94	Jaewon Sung, Daijin Kim 0001	A Unified Approach for Combining ASM into AAM.	PSIVT	2006	DBLP DOI BibTeX RDF
94	Kevin C. Almeroth, Supratik Bhattacharyya, Christophe Diot	Challenges of Integrating ASM and SSM IP Multicast Protocol Architectures.	IWDC	2001	DBLP DOI BibTeX RDF
92	Matthias Anlauff	XASM - An Extensible, Component-Based ASM Language.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
83	Yanong Zhu, Mark Fisher 0001, Reyer Zwiggelaar	Improving ASM Search Using Mixture Models for Grey-Level Profiles.	IbPRIA (1)	2005	DBLP DOI BibTeX RDF
81	Hans Langmaack	An ALGOL-View on Turbo ASM.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
81	Kirsten Winter	Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
76	Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes	Generating finite state machines from abstract state machines.	ISSTA	2002	DBLP DOI BibTeX RDF	finite state machine, test case generation, FSM, abstract state machine, executable specification, ASM
75	Hans Langmaack	On Revival of Algol-Concepts in Modern Programming and Specification Languages.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class
75	Damien Imbs, Michel Raynal	The multiplicative power of consensus numbers.	PODC	2010	DBLP DOI BibTeX RDF	bg simulation, synchronization power, t-resilience, simulation, fault-tolerance, distributed computability, shared memory system, system model, wait-freedom, asynchronous processes, k-set agreement, consensus number, reduction algorithm, process crash failure
75	Jingcai Fan, Hongxun Yao, Wen Gao 0001, Yazhou Liu, Xin Liu 0047	The Bunch-Active Shape Model.	ACII	2005	DBLP DOI BibTeX RDF
73	Wanghu Chen, Yanbo Han, Chen Liu, Jing Wang 0002, Shuying Yan	ASM-TL: an Abstract Service Model Enabling Adaptive Matchmaking.	ICEBE	2007	DBLP DOI BibTeX RDF
73	Ying Li, Jian-Huang Lai, Pong Chi Yuen	Multi-template ASM Method for Feature Points Detection of Facial Image with Diverse Expressions.	FGR	2006	DBLP DOI BibTeX RDF
73	Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter	Formal Verification of ASM Designs Using the MDG Tool.	SEFM	2003	DBLP DOI BibTeX RDF
73	Giuseppe Del Castillo	The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.	TACAS	2001	DBLP DOI BibTeX RDF
70	Steven C. Cater, James K. Huggins	An ASM Dynamic Semantics for Standard ML.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
65	Andreas Blass, Yuri Gurevich	Abstract state machines capture parallel algorithms: Correction and extension.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	ASM thesis, postulates for parallel computation, Parallel algorithm, parallel programming, abstract state machine
65	David Michel 0001, Frédéric Gervais, Pierre Valarcher	B-ASM: Specification of ASM à la B.	ASM	2010	DBLP DOI BibTeX RDF
64	Quoc Dinh Nguyen, Maurice Milgram	Robust Lip Contours Localization and Tracking Using Multi Features - Statistical Shape Models.	ACIVS	2008	DBLP DOI BibTeX RDF
64	Yuanzhong Li, Wataru Ito	Shape Parameter Optimization for AdaBoosted Active Shape Model.	ICCV	2005	DBLP DOI BibTeX RDF
62	Egon Börger, Bernhard Thalheim	Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach.	ABZ	2008	DBLP DOI BibTeX RDF
62	Matthias Wimmer, Shinya Fujie, Freek Stulp, Tetsunori Kobayashi, Bernd Radig	An ASM fitting method based on machine learning that provides a robust parameter initialization for AAM fitting.	FG	2008	DBLP DOI BibTeX RDF
62	Sicong Zhang, Lifang Wu, Ying Wang	Cascade MR-ASM for Locating Facial Feature Points.	ICB	2007	DBLP DOI BibTeX RDF
62	Egon Börger	The ASM Method for System Design and Analysis. A Tutorial Introduction.	FroCoS	2005	DBLP DOI BibTeX RDF
62	Elvinia Riccobene, Patrizia Scandurra	Towards an Interchange Language for ASMs.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
62	Angelo Gargantini, Elvinia Riccobene	Encoding Abstract State Machines in PVS.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
60	Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo	Using Spin to Generate Testsfrom ASM Specifications.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
57	Anatol Slissenko, Joëlle Cohen	On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays.	Abstract State Machines	2005	DBLP BibTeX RDF
54	Egon Börger	Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Validation and certification, ASM ground model (golden model), ASM refinement, Verified software challenge, System analysis, Abstract State Machine
54	Ileana Ober	More Meaningful UML Models.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
54	Andrzej J. Kasinski, Maciej Król	Application of Active Shapes to the Structural Face Model.	CORES	2005	DBLP DOI BibTeX RDF
53	Jiankun Wu, Linpeng Huang, Dejun Wang	ASM-based model of dynamic service update in OSGi.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	verification, component, OSGi, dynamic updating, ASM
51	Yanchao Su, Haizhou Ai, Shihong Lao	Robust real-time face alignment based on ASM with boosting regression for displacement prediction.	ICPR	2008	DBLP DOI BibTeX RDF
51	Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn	Verifying Smart Card Applications: An ASM Approach.	IFM	2007	DBLP DOI BibTeX RDF
51	Nicu G. Fruja	Specification and Implementation Problems for C#.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
51	Erich Grädel, Antje Nowack	Quantum Computing and Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
51	Kirsten Winter, Roger Duke	Model Checking Object-Z Using ASM.	IFM	2002	DBLP DOI BibTeX RDF	language transformation, automated tool support, model checking, Abstract State Machines, Object-Z
51	Giuseppe Del Castillo, Kirsten Winter	Model Checking Support for the ASM High-Level Language.	TACAS	2000	DBLP DOI BibTeX RDF
49	Robert F. Stärk, Egon Börger	An ASM Specification of C# Threads and the .NET Memory Model.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
49	Sabine Glesner	An ASM Semantics for SSA Intermediate Representations.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
49	Dean Rosenzweig, Davor Runje, Neva Slani	Privacy, Abstract Encryption and Protocols: An ASM Model - Part I.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
49	Andreas Prinz 0001, Bernhard Thalheim	ASM Specification of Database Systems.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
49	Wolfgang Reisig	Towards an ASM Thesis for Unconventional Algorithms.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
46	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications.	ASM	2010	DBLP DOI BibTeX RDF
45	Mohammad Soleymani 0001, Yi-Hsuan Yang, Yu-Gang Jiang, Shih-Fu Chang (eds.)	Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
45	Joachim Folz, Christian Schulze 0001, Damian Borth, Andreas Dengel 0001	Aesthetic Photo Enhancement using Machine Learning and Case-Based Reasoning.	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
45	Jens Madsen, Bjørn Sand Jensen, Jan Larsen	Learning Combinations of Multiple Feature Representations for Music Emotion Prediction.	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
45	Saemi Choi, Toshihiko Yamasaki, Kiyoharu Aizawa	An Interactive System based on Yes-No Questions for Affective Image Retrieval.	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
45	Christopher Hines, Vidhyasaharan Sethu, Julien Epps	Twitter: A New Online Source of Automatically Tagged Data for Conversational Speech Emotion Recognition.	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
45	Toshihiko Yamasaki, Yusuke Fukushima, Ryosuke Furuta, Litian Sun, Kiyoharu Aizawa, Danushka Bollegala	Prediction of User Ratings of Oral Presentations using Label Relations.	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
45	Ting Li, Yoann Baveye, Christel Chamaret, Emmanuel Dellandréa, Liming Chen 0002	Continuous Arousal Self-assessments Validation Using Real-time Physiological Responses.	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
45	Joël Dumoulin, Diana Affi, Elena Mugellini, Omar Abou Khaled, Marco Bertini 0001, Alberto Del Bimbo	Affect Recognition in a Realistic Movie Dataset Using a Hierarchical Approach.	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
45	Sharath Chandra Guntuku, Lin Qiu, Sujoy Roy, Weisi Lin, Vinit Jakhetiya	Do Others Perceive You As You Want Them To?: Modeling Personality based on Selfies.	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
45	Mohammad Al-Naser, Seyyed Saleh Mozafari Chanijani, Syed Saqib Bukhari, Damian Borth, Andreas Dengel 0001	What Makes a Beautiful Landscape Beautiful: Adjective Noun Pairs Attention by Eye-Tracking and Gaze Analysis.	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
45	Shlomo Berkovsky	Blending Users, Content, and Emotions for Movie Recommendations.	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
45	Victor Campos 0001, Amaia Salvador, Xavier Giró-i-Nieto, Brendan Jou	Diving Deep into Sentiment: Understanding Fine-tuned CNNs for Visual Sentiment Prediction.	ASM@ACM Multimedia	2015	DBLP BibTeX RDF
43	Jiann-Shu Lee, Hsing-Hsien Wu, Ming-Zheng Yuan	Lung Segmentation for Chest Radiograph by Using Adaptive Active Shape Models.	IAS	2009	DBLP DOI BibTeX RDF
43	Jeff McDermott	Facial feature extraction for face characterization.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
43	Mohammad H. Mahoor, Mohamed Abdel-Mottaleb	Facial Features Extraction in Color Images Using Enhanced Active Shape Model.	FGR	2006	DBLP DOI BibTeX RDF	lips detection, face recognition, color image, Active shape model, facial feature extraction
43	Federico Sukno, Sebastián Ordas, Constantine Butakoff, Santiago Cruz, Alejandro F. Frangi	Active Shape Models with Invariant Optimal Features (IOF-ASMs).	AVBPA	2005	DBLP DOI BibTeX RDF
43	Wolfgang Reisig	On Gurevich's theorem on sequential algorithms.	Acta Informatica	2003	DBLP DOI BibTeX RDF
43	Janakiramanan Ramachandran, Marios S. Pattichis, Peter Soliz	Pre-Classification of Chest Radiographs for Improved Active Shape Model Segmentation of Ribs.	SSIAI	2002	DBLP DOI BibTeX RDF	ribs, parenchyma, segmentation, active shape model, chest radiographs
43	Mike Rogers, Jim Graham	Robust Active Shape Model Search.	ECCV (4)	2002	DBLP DOI BibTeX RDF	Medical Image Understanding, Robust Parameter Estimation, Shape, RANSAC, Active Shape Models, M-estimators, Weighted Least Squares
43	Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin	Hardware Composition with Hardware Flowcharts and Process Algebras.	ICECCS	1996	DBLP DOI BibTeX RDF
41	Jason R. Gilder, Michael R. Peterson, Jason Wright, Travis E. Doom	A versatile tool for student projects: an ASM programming language for the Lego mindstorm.	ACM J. Educ. Resour. Comput.	2003	DBLP DOI BibTeX RDF	ASM charts, design projects, robotics, Lego mindstorm
41	Ileana Ober, Ali Abou Dib	Using ASM to Achieve Executability within a Family of DSL.	ABZ	2008	DBLP DOI BibTeX RDF
41	Hocine El-Habib Daho, Djilali Benhamamouch	Formal Verification of ASM Models Using TLA+.	ABZ	2008	DBLP DOI BibTeX RDF
41	Eun-Jung Ko, Sang-Young Lee, Hye-Min Noh, Cheol-Jung Yoo, Ok-Bae Chang	Workflow Modeling Based on Extended Activity Diagram Using ASM Semantics.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
41	Xiangsheng Huang, Stan Z. Li, Yangsheng Wang	Statistical Learning of Evaluation Function for ASM/AAM Image Alignment.	ECCV Workshop BioAW	2004	DBLP DOI BibTeX RDF
41	Yuri Gurevich	Intra-step Interaction.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
41	Egon Börger	The ASM Refinement Method.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Specifying and Verifying and Reasoning about Programs, Models of computation
41	Egon Börger	The ASM Ground Model Method as a Foundation for Requirements Engineering.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
41	Georg Langs, Philipp Peloschek, Horst Bischof	ASM Driven Snakes in Rheumatoid Arthritis Assessment.	SCIA	2003	DBLP DOI BibTeX RDF
41	Marianna Nicolosi Asmundo, Elvinia Riccobene	Consistent Integration for Sequential Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
41	Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra	Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
41	Nicu G. Fruja, Robert F. Stärk	The Hidden Computation Stepsof Turbo Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
41	Christoph Beierle, Gabriele Kern-Isberner	Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
41	Tommaso Bolognesi, Egon Börger	Abstract State Processes.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
41	Jürgen Teich, Philipp W. Kutter, Ralph Weper	Description and Simulation of Microprocessor Instruction Sets Using ASMs.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
41	Egon Börger	Abstract State Machines at the Cusp of the Millenium.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
41	Giuseppe Del Castillo	Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture.	FM-Trends	1998	DBLP DOI BibTeX RDF
38	Klaus-Dieter Schewe, Jane Zhao	ASM Ground Model and Refinement for Data Warehouses.	Abstract State Machines	2005	DBLP BibTeX RDF
38	Alexander Bienemann, Zalan Kramer, Peggy Schmidt, Bernhard Thalheim	ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project.	Abstract State Machines	2005	DBLP BibTeX RDF
38	Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn	Verifying Security Protocols: An ASM Approach.	Abstract State Machines	2005	DBLP BibTeX RDF
38	Dirk Fahland, Wolfgang Reisig	ASM-based Semantics for BPEL: The Negative Control Flow.	Abstract State Machines	2005	DBLP BibTeX RDF
38	Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer	CoreASM: An Extensible ASM Execution Engine.	Abstract State Machines	2005	DBLP BibTeX RDF
38	Horatiu Jula	ASM Semantics for C++ 2.0.	Abstract State Machines	2005	DBLP BibTeX RDF
38	Egon Börger	The ASM Method: a Cornerstone in Computer Science Education.	Abstract State Machines	2005	DBLP BibTeX RDF
38	Ileana Ober	An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
38	Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov	Using ASM Specifications for Compiler Testing.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
38	Aleksander Binemann-Zdanowicz, Bernhard Thalheim	Modeling Information Services on the Basis of ASM Semantics.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
38	Wolfgang Reisig	The Computable Kernel of ASM.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
38	Giuseppe Del Castillo	The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
38	Andreas Heberle, Welf Löwe	On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
38	Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann	ASM-based Mechanized Verification of Compiler Back-Ends.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
38	Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen	Developing New ASM-tools.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
38	Hal Berghel, David Roach, George Balogh, Carroll Hyatt	"Tuning" an ASM metric: a case study in metric ASM optimization.	SAC	1992	DBLP DOI BibTeX RDF