3346 search results - page 182 / 670 » A Generic Rendering System |
165
click to vote
ENTCS
2006
15 years 6 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...
174
click to vote
TIM
2011
15 years 1 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...
234
click to vote
LPNMR
2011
Springer
14 years 9 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...
176
click to vote
VRST
2004
ACM
15 years 12 months 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...
184
click to vote
MHCI
2004
Springer
15 years 11 months 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 ...