1677 search results - page 140 / 336 » On the Completeness of Quantum Computation Models |
155
click to vote
EICS
2009
ACM
16 years 1 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...
197
click to vote
GI
2005
Springer
16 years 2 days ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
168
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
What does a blind entity need in order to determine the geometry of the set of photocells that it carries through a changing lightfield? In this paper, we show that very crude know...
175
click to vote
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
This paper presents a novel approach that achieves complete matching of 3D dynamic surfaces. Surfaces are captured from multi-view video data and represented by sequences of 3D ma...
174
click to vote
GI
2010
Springer
15 years 4 months ago
2010
Springer
With the advent of collaborative business processes that may include different parties, the interaction means between those processes steadily gains more importance. Despite this i...