Sciweavers

7099 search results - page 301 / 1420
» Context for models of concurrency
Sort
View
DSVIS
2008
Springer
15 years 9 months ago
Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums
This work aims at developing appropriate Mixed Interaction Systems (MIS) for navigating 3D environments in a science centre context. Due to the wide range and multi-disciplinary de...
Emmanuel Dubois, Cédric Bach, Philippe Trui...
PR
2008
124views more  PR 2008»
15 years 7 months ago
A daily behavior enabled hidden Markov model for human behavior understanding
This paper presents a Hierarchical Context Hidden Markov Model (HC-HMM) for behavior understanding from video streams in a nursing center. The proposed HC-HMM infers elderly behav...
Pau-Choo Chung, Chin-De Liu
CONTEXT
2003
Springer
16 years 20 days ago
On the Difference between Bridge Rules and Lifting Axioms
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
Paolo Bouquet, Luciano Serafini
197
Voted
ISOLA
2010
Springer
15 years 5 months ago
WOMM: A Weak Operational Memory Model
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...
Arnab De, Abhik Roychoudhury, Deepak D'Souza
208
Voted
CODES
2010
IEEE
15 years 5 months ago
Exploring models of computation with ptolemy II
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
Christopher X. Brooks, Edward A. Lee, Stavros Trip...