231 search results - page 23 / 47 » A Brief Overview of PVS |
FGR
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents an overview of our project on an augmented desk interface system called the EnhancedDesk. The EnhancedDesk is equipped with an infrared camera for tracking a u...
CW
2006
IEEE
13 years 11 months ago
2006
IEEE
In addition to established methods, the treatment of mental disorders using Virtual Reality Exposure Therapy is becoming commonplace. We present an approach, which extends this co...
AAAI
2008
13 years 9 months ago
2008
Loop Calculus, introduced by Chertkov and Chernyak, is a new technique to incrementally improve approximations computed by Loopy Belief Propagation (LBP), with the ability to even...
ICCSA
2010
Springer
13 years 9 months ago
2010
Springer
Nowadays, spatial analysis led on complex phenomenon implies the usage of data available on heterogeneous territorial meshes, that is to say misaligned meshes. Then, combine these ...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
RKB Explorer is a Semantic Web application that is able to present unified views of a significant number of heterogeneous data sources. We have developed an underlying information ...