7311 search results - page 386 / 1463 » Time in State Machines |
215
click to vote
CBMS
1995
IEEE
15 years 11 months ago
1995
IEEE
We present the design and implementation of a digital image capture and distribution system that supports remote ultrasound ezaminations and, in particular, real-time diagnosis fo...
196
click to vote
AAAI
2008
15 years 10 months ago
2008
We present a real-time strategy (RTS) game AI agent that integrates multiple specialist components to play a complete game. Based on an analysis of how skilled human players conce...
178
click to vote
IANDC
1998
15 years 7 months ago
1998
We show that restricting a number of characterizations of the complexity class P to be positive (in natural ways) results in the same class of (monotone) problems which we denote ...
201
click to vote
LISA
2007
15 years 10 months ago
2007
In virtual machine environments each application is often run in its own virtual machine (VM), isolating it from other applications running on the same physical machine. Contentio...
180
click to vote
PAPM
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...