1501 search results - page 232 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
136
click to vote
TACAS
1999
Springer
15 years 8 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
123
click to vote
DMIN
2006
15 years 5 months ago
2006
Abstract-- Associative classification is a new classification approach integrating association mining and classification. It becomes a significant tool for knowledge discovery and ...
151
click to vote
IJVR
2007
15 years 3 months ago
2007
—This article describes the design of the two application scenarios of the Virtual Human project and its integration into the Virtual Human system. This includes overall concepts...
253
click to vote
VCIP
2000
15 years 5 months ago
2000
Subjective assessment methods have been used reliably for many years to evaluate video quality. They continue to provide the most reliable assessments compared to objective method...
152
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
The paper introduces an action recognition framework that uses concepts from the theory of chaotic systems to model and analyze nonlinear dynamics of human actions. Trajectories o...