3218 search results - page 108 / 644 » Timed Extensions for SDL |
146
click to vote
IDMS
1997
Springer
15 years 7 months ago
1997
Springer
We present a soft real-time CPU server for Continuous Media processing in the UNIX environment. The server is a daemon process from which applications can request and acquire soft...
161
click to vote
PODC
1990
ACM
15 years 7 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
160
click to vote
DIS
2007
Springer
15 years 7 months ago
2007
Springer
A geometric graph is a labeled graph whose vertices are points in the 2D plane with an isomorphism invariant under geometric transformations such as translation, rotation, and scal...
152
click to vote
AAAI
2008
15 years 5 months ago
2008
Traditional artificial intelligence techniques do not perform well in applications such as real-time strategy games because of the extensive search spaces which need to be explore...
151
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
Many temporal processes can be naturally modeled as a stochastic system that evolves continuously over time. The representation language of continuous-time Bayesian networks allow...