Sciweavers

3844 search results - page 306 / 769
» Modular interpreted systems
Sort
View
KI
2007
Springer
15 years 10 months ago
Division of Work During Behaviour Recognition - The SCENIC Approach
Behaviour recognition in a video scene consists of several distinct sub-tasks: objects or object parts must be recognised, classified and tracked, qualitative spatial and temporal...
Kasim Terzic, Lothar Hotz, Bernd Neumann
AICCSA
2006
IEEE
95views Hardware» more  AICCSA 2006»
15 years 10 months ago
DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
Abdulwahed M. Abbas, Edward P. K. Tsang, Ahmad H. ...
145
Voted
CSCWD
2005
Springer
15 years 10 months ago
Content-Oriented Knowledge Modeling for Automated Parts Library Ontology Merging
The digital parts libraries or electronic parts catalogs have opened up a vast potential for new electronic forms of product components procurement. However, their seamless integra...
Joonmyun Cho, Hyun Kim, Soonhung Han
CSL
2005
Springer
15 years 10 months ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper
ISVC
2005
Springer
15 years 10 months 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