Sciweavers

3199 search results - page 484 / 640
» Variability in Automation System Models
Sort
View
ICPR
2000
IEEE
16 years 8 months ago
Tracking Humans from a Moving Platform
Research at the Computer Vision Laboratory at the University of Maryland has focussed on developing algorithms and systems that can look at humans and recognize their activities i...
Larry S. Davis, Vasanth Philomin, Ramani Duraiswam...
CHI
2009
ACM
16 years 7 months ago
Learning to predict information needs: context-aware display as a cognitive aid and an assessment tool
We discuss the problem of assessing and aiding user performance in dynamic tasks that require rapid selection among multiple information sources. Motivated by research in human se...
Bradley C. Love, Matt Jones, Marc T. Tomlinson, Mi...
3DPVT
2006
IEEE
160views Visualization» more  3DPVT 2006»
16 years 29 days ago
Geometry Refinement of 3D Surfaces Using Kriging
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...
Brad Grinstead, Andreas Koschan, Mongi A. Abidi
RSP
2005
IEEE
16 years 14 days ago
Porting DSP Applications across Design Tools Using the Dataflow Interchange Format
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
Chia-Jui Hsu, Shuvra S. Bhattacharyya
TARK
2005
Springer
16 years 10 days ago
First-order classical modal logic: applications in logics of knowledge and probability
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
Horacio L. Arló-Costa, Eric Pacuit