Sciweavers

10406 search results - page 1761 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
169
Voted
FMICS
2010
Springer
15 years 7 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
CVPR
2011
IEEE
14 years 10 months ago
Probabilistic Gaze Estimation Without Active Personal Calibration
Existing eye gaze tracking systems typically require an explicit personal calibration process in order to estimate certain person-specific eye parameters. For natural human compu...
Jixu Chen, Qiang Ji
158
Voted
CIKM
2006
Springer
15 years 10 months ago
Concept frequency distribution in biomedical text summarization
Text summarization is a data reduction process. The use of text summarization enables users to reduce the amount of text that must be read while still assimilating the core inform...
Lawrence H. Reeve, Hyoil Han, Saya V. Nagori, Jona...
196
Voted
GEOINFORMATICA
1998
125views more  GEOINFORMATICA 1998»
15 years 5 months ago
Computational Perspectives on Map Generalization
ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...
Robert Weibel, Christopher B. Jones
DAGM
2009
Springer
16 years 22 days ago
Markerless 3D Face Tracking
We present a novel algorithm for the markerless tracking of deforming surfaces such as faces. We acquire a sequence of 3D scans along with color images at 40Hz. The data is then re...
Christian Walder, Martin Breidt, Heinrich H. B&uum...
« Prev « First page 1761 / 2082 Last » Next »