9405 search results - page 207 / 1881 » Computing a Model of Set Theory |
123
Voted
PERCOM
2009
ACM
16 years 4 months ago
2009
ACM
In pervasive computing environments, personal information is expressed in digital forms to a great extent. Daily activities and personal preferences may be easily associated with p...
146
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical inter...
123
click to vote
ISWC
2002
IEEE
15 years 8 months ago
2002
IEEE
The representation of physical space has traditionally focused on keyphrases such as “Computer Science Building” or “Physics Department” that help us in describing and nav...
131
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
The paper describes an approach to modeling the strategic variations in performing secondary tasks while driving. In contrast to previous efforts that are based on simulation of a...
130
click to vote
CVPR
1998
IEEE
16 years 5 months ago
1998
IEEE
In this paper we present a method for the integration of nonlinear holonomic constraints in deformable models and its application to the problems of shape and illuminant direction...