2925 search results - page 495 / 585 » Input Modeling Using Quantile Statistical Methods |
TVCG
2012
12 years 16 days ago
2012
—Vector field visualization techniques have evolved very rapidly over the last two decades, however, visualizing vector fields on complex boundary surfaces from computational ...
FGR
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we present a real-time 3D pointing gesture recognition algorithm for natural human-robot interaction (HRI). The recognition errors in previous pointing gesture reco...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
FUIN
2008
13 years 10 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
SIGGRAPH
1995
ACM
14 years 1 months ago
1995
ACM
We present an efficient and uniform approach for the automatic reconstruction of surfaces of CAD (computer aided design) models and scalar fields defined on them, from an unorg...