2853 search results - page 329 / 571 » On Coherence in Computer Algebra |
128
click to vote
SNPD
2008
15 years 5 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
131
click to vote
DAIS
2006
15 years 5 months ago
2006
Abstract. This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary ...
121
click to vote
INTERACT
2003
15 years 5 months ago
2003
: This work uses Artificial Intelligence (AI) in an electronic communication interface to improve people’s ability to focus on important communications. Many social cues that all...
130
click to vote
AMAI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract The paper introduces mixed networks, a new graphical model framework for expressing and reasoning with probabilistic and deterministic information. The motivation to devel...
128
click to vote
CVGIP
2010
15 years 4 months ago
2010
We present a novel parallel algorithm for fast continuous collision detection (CCD) between deformable models using multi-core processors. We use a hierarchical representation to ...