Sciweavers

7213 search results - page 70 / 1443
» Automated model grouping
Sort
View
CORR
2008
Springer
179views Education» more  CORR 2008»
14 years 10 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
CVPR
2007
IEEE
15 years 12 months ago
Automated Individualization of Deformable Eye Region Model and Its Application to Eye Motion Analysis
This paper proposes a method of automated individualization of eye region model. The eye region model has been proposed in past research that parameterizes both the structure and ...
Tsuyoshi Moriyama, Takeo Kanade
ISBI
2006
IEEE
15 years 10 months ago
Automated tracking and modeling of microtubule dynamics
The method of microtubule tracking and dynamics analysis, presented here, improves upon the current means of manual and automated quantification of microtubule behavior. Key contr...
Motaz A. El Saban, Alphan Altinok, Austin J. Peck,...
CRV
2009
IEEE
158views Robotics» more  CRV 2009»
15 years 4 months ago
Automated Spatial-Semantic Modeling with Applications to Place Labeling and Informed Search
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
Pooja Viswanathan, David Meger, Tristram Southey, ...
ICMCS
2006
IEEE
121views Multimedia» more  ICMCS 2006»
15 years 3 months ago
A Three-Layer Virtual Director Model for Supporting Automated Multi-Site Distributed Education
1 In multi-site distributed education (MSDE), video streams from multiple sites are available. To best utilize the limited screen space at each site, we develop a customizable, aut...
Bin Yu, Cha Zhang, Yong Rui, Klara Nahrstedt