Sciweavers

14382 search results - page 43 / 2877
» Time in Connectionist Models
Sort
View
ICCV
2001
IEEE
15 years 12 months ago
Modelling Faces Dynamically across Views and Over Time
A comprehensive novel multi-view dynamic face model is presented in this paper to address two challenging problems in face recognition and facial analysis: modelling faces with la...
Yongmin Li, Shaogang Gong, Heather M. Liddell
PG
2002
IEEE
15 years 2 months ago
A Method of Human Short Hair Modeling and Real Time Animation
This paper describes a method of human short hair modeling and real time animation. A method is proposed to model the short hair. First, a hair style model is derived from a scalp...
Yang Guang, Zhiyong Huang
APCCM
2006
14 years 11 months ago
The formal semantics of the timeER model
A wide range of database applications manage information that varies over time. Many of the underlying database schemas of these were designed using one of the several versions of...
Heidi Gregersen
DDECS
2006
IEEE
146views Hardware» more  DDECS 2006»
15 years 1 months ago
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
Jochen Eisinger, Ilia Polian, Bernd Becker, Alexan...
FORMATS
2006
Springer
15 years 1 months ago
Timed Alternating-Time Temporal Logic
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
Thomas A. Henzinger, Vinayak S. Prabhu