Sciweavers

3322 search results - page 585 / 665
» Automatic Human Model Generation
Sort
View
ICCV
2011
IEEE
13 years 10 months ago
Relative Attributes
Human-nameable visual “attributes” can benefit various recognition tasks. However, existing techniques restrict these properties to categorical labels (for example, a person ...
Devi Parikh, Kristen Grauman
GIS
2007
ACM
15 years 11 months ago
High-level web service for 3D building information visualization and analysis
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
Benjamin Hagedorn, Jürgen Döllner
TITB
2010
163views Education» more  TITB 2010»
14 years 4 months ago
Absolute electrical impedance tomography (aEIT) guided ventilation therapy in critical care patients: simulations and future tre
Thoracic electrical impedance tomography (EIT) is a noninvasive, radiation-free monitoring technique whose aim is to reconstruct a cross-sectional image of the internal spatial dis...
Mouloud Azzedine Denaï, Mahdi Mahfouf, Suzani...
POPL
2003
ACM
15 years 10 months ago
From symptom to cause: localizing errors in counterexample traces
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
Thomas Ball, Mayur Naik, Sriram K. Rajamani
OOPSLA
2005
Springer
15 years 3 months ago
GOOAL: an educational object oriented analysis laboratory
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
Hector G. Pérez-González, Jugal K. K...