3710 search results - page 249 / 742 » A new calculus of contexts |
182
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The tolerancing process links the virtual and the real worlds. From the former, tolerances define a variational geometrical language (geometric parameters). From the latter, there...
211
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Object representation and reasoning in vector based geographic information systems (GIS) is based on Euclidean geometry. Euclidean geometry is built upon Euclid's first postu...
199
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
201
click to vote
WIKIS
2009
ACM
16 years 1 days ago
2009
ACM
This paper presents a new Wiki called SAVVY Wiki that realizes context-oriented, collective and collaborative knowledge management environments that are able to reflect users’ i...
198
click to vote
ICCV
2005
IEEE
16 years 9 months ago
2005
IEEE
We address the problem of detecting irregularities in visual data, e.g., detecting suspicious behaviors in video sequences, or identifying salient patterns in images. The term &qu...