3346 search results - page 182 / 670 » A Generic Rendering System |
180
Voted
ENTCS
2006
15 years 7 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
191
Voted
TIM
2011
15 years 2 months ago
2011
—This paper introduces a new sensory system for the 2-D detection, tracking, and prediction of human motions. Using the data acquired through the sensory system, a model of a hum...
255
Voted
LPNMR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...
192
Voted
VRST
2004
ACM
16 years 14 days ago
2004
ACM
The availability of a suitable framework is of vital importance for the development of Augmented Reality (AR) and Virtual Reality (VR) projects. While features such as scalability...
201
Voted
MHCI
2004
Springer
16 years 12 days ago
2004
Springer
This paper introduces a method for automatically partitioning richly-formatted electronic documents. An automatic partitioning system has many potential uses, but we focus here on ...