8067 search results - page 301 / 1614 » A Model Proposal of the Interoperability Problem |
129
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
120
click to vote
AISS
2010
15 years 2 months ago
2010
Recently, due to problems arising from lattice mismatch in thin film growth in semiconductor manufacturing industry, researchers have shown great interest in modeling the physioch...
150
click to vote
BALT
2010
14 years 11 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
144
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Parameterized Appearance Models (PAMs) (e.g. Eigentracking, Active Appearance Models, Morphable Models) are commonly used to model the appearance and shape variation of objects in...
251
click to vote
NEUROSCIENCE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Finite-state machines are the most pervasive models of computation, not only in theoretical computer science, but also in all of its applications to real-life problems, a...