2036 search results - page 189 / 408 » A generic type-and-effect system |
220
click to vote
AMFG
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. This paper describes a model-assisted system for reconstruction of 3D faces from a single consumer quality camera using a structure from motion approach. Typical multi-vi...
200
click to vote
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
Usability has become one of the key ingredients in making virtual reality (VR) systems work, and a big part of a usable VR system is in the design of effective interface/interacti...
244
click to vote
MBEES
2008
15 years 8 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
202
click to vote
MSWIM
2006
ACM
16 years 1 months ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
228
click to vote
FAST
2009
15 years 5 months ago
2009
Most application provenance systems are hard coded for a particular type of system or data, while current provenance file systems maintain in-memory provenance graphs and reside i...