Sciweavers

4348 search results - page 257 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
ISVC
2005
Springer
16 years 3 days ago
Mining Paths of Complex Crowd Scenes
The Ambient Intelligence (AmI) paradigm requires a robust interpretation of people actions and behaviour and a way for automatically generating persistent spatial-temporal models o...
Beibei Zhan, Paolo Remagnino, Sergio A. Velastin
VMCAI
2005
Springer
16 years 2 days ago
On the Complexity of Error Explanation
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
Nirman Kumar, Viraj Kumar, Mahesh Viswanathan
CAIP
2007
Springer
106views Image Analysis» more  CAIP 2007»
16 years 24 days ago
A New Manifold Representation for Visual Speech Recognition
In this paper, we propose a new manifold representation capable of being applied for visual speech recognition. In this regard, the real time input video data is compressed using P...
Dahai Yu, Ovidiu Ghita, Alistair Sutherland, Paul ...
SIGGRAPH
2000
ACM
15 years 11 months ago
Non-photorealistic virtual environments
We describe a system for non-photorealistic rendering (NPR) of virtual environments. In real time, it synthesizes imagery of architectural interiors using stroke-based textures. W...
Allison Klein, Wilmot Li, Michael M. Kazhdan, Wagn...
AGTIVE
2007
Springer
15 years 10 months ago
Verification and Synthesis of OCL Constraints Via Topology Analysis
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
Jörg Bauer, Werner Damm, Tobe Toben, Bernd We...