1179 search results - page 131 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
148
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present a new trajectory planning algorithm for virtual humans. Our approach focuses on implicit cooperation between multiple virtual agents in order to share th...
135
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
150
Voted
SIMVIS
2003
15 years 5 months ago
2003
The paradigm of the proxel ("probability element") was recently introduced in order to provide a new algorithmic approach to analysing discrete-state stochastic models s...
174
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
142
click to vote
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
TinTO is an experimental system aiming at demonstrating the usefulness and feasibility of applying conventional SQL queries for analyzing a wide spectrum of data streams. As applic...