16606 search results - page 196 / 3322 » Context Modeling: Task Model and Practice Model |
124
click to vote
ISMAR
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper confronts some theoretical camera models to reality and evaluates the suitability of these models for effective augmented reality (AR). It analyses what level of accura...
110
click to vote
WSC
2001
15 years 5 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...
155
click to vote
JMM
2007
15 years 4 months ago
2007
Spontaneous interaction in wireless ad-hoc networks is often desirable not only between users or devices in direct contact, but also with devices that are accessible only via a wi...
112
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
161
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...