Sciweavers

65 search results - page 2 / 13
» OutlinAR: an assisted interactive model building system with...
Sort
View
CVPR
2011
IEEE
13 years 1 months ago
Interactively Building a Discriminative Vocabulary of Nameable Attributes
Human-nameable visual attributes offer many advantages when used as mid-level features for object recognition, but existing techniques to gather relevant attributes can be ineffici...
Devi Parikh, Kristen Grauman
SIGGRAPH
1997
ACM
13 years 9 months ago
Interactive simulation of fire in virtual building environments
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
Richard W. Bukowski, Carlo H. Séquin
WSC
2008
13 years 7 months ago
Tradeoffs in building a generic supply chain simulation capability
Building a simulation model for any large complex system requires high expertise and effort. These requirements can be reduced through building generic simulation capability that ...
Sanjay Jain
HAPTICS
2002
IEEE
13 years 9 months ago
Building a Task Language for Segmentation and Recognition of User Input to Cooperative Manipulation Systems
We present the results of using Hidden Markov Models (HMMs) for automatic segmentation and recognition of user motions. Previous work on recognition of user intent with man/machin...
C. Sean Hundtofte, Gregory D. Hager, Allison M. Ok...
ICFP
2009
ACM
14 years 5 months ago
Effective interactive proofs for higher-order imperative programs
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Adam J. Chlipala, J. Gregory Malecha, Greg Morrise...