Sciweavers

1745 search results - page 94 / 349
» A Context-Based Model of Attention
Sort
View
CORR
2006
Springer
131views Education» more  CORR 2006»
13 years 10 months ago
Intensional Models for the Theory of Types
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
Reinhard Muskens
ICPR
2008
IEEE
14 years 4 months ago
Automatic pose estimation of 3D facial models
Pose estimation plays an essential role in many computer vision applications, such as human computer interaction (HCI), driver attentiveness monitoring, face recognition, automati...
Yi Sun, Lijun Yin
CIKM
2007
Springer
14 years 4 months ago
Modeling historical and future movements of spatio-temporal objects in moving objects databases
Spatio-temporal databases deal with geometries changing over time. In general, geometries do not only change discretely but continuously; hence we are dealing with moving objects....
Reasey Praing, Markus Schneider
EDOC
2006
IEEE
14 years 4 months ago
Model-Driven Dashboards for Business Performance Reporting
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
Pawan Chowdhary, Themis Palpanas, Florian Pinel, S...
CODES
2005
IEEE
14 years 3 months ago
A power estimation methodology for systemC transaction level models
Majority of existing works on system level power estimation have focused on the processor, while there are very few that address power consumption of peripherals in a SoC. With th...
Nagu R. Dhanwada, Ing-Chao Lin, Vijay Narayanan