Sciweavers

2001 search results - page 305 / 401
» Semantic Activity Recognition
Sort
View
116
Voted
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 7 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ICVS
2003
Springer
15 years 7 months ago
A Self-Referential Perceptual Inference Framework for Video Interpretation
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
Christopher Town, David Sinclair
ISSS
2002
IEEE
120views Hardware» more  ISSS 2002»
15 years 6 months ago
Virtual Synchronization for Fast Distributed Cosimulation of Dataflow Task Graphs
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
Soonhoi Ha, Sungchan Kim, Chan-Eun Rhee, Hyunguk J...
ATAL
2001
Springer
15 years 6 months ago
Formalizing a Language for Institutions and Norms
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
Marc Esteva, Julian A. Padget, Carles Sierra
AOSE
2000
Springer
15 years 6 months ago
Agent-Oriented Modeling with Graph Transformation
Abstract. The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-ori...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...