103 search results - page 11 / 21 » Formal Interpretation and Analysis of Collective Intelligenc... |
APN
1992
Springer
14 years 20 days ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
Abstract—Becoming proficient in a sport requires significant investment in training. Wearable sensor devices can improve training due to the high level of mobility, ubiquity and...
KI
2007
Springer
14 years 2 months ago
2007
Springer
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...
AIME
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
AGP
1996
IEEE
14 years 23 days ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...