7099 search results - page 296 / 1420 » Context for models of concurrency |
185
click to vote
AGP
1995
IEEE
15 years 11 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
168
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
Spatial sensor systems in cars are gaining more and more importance. Such sensor systems are the foundation of future safety systems, such as automatic emergency brakes, as well a...
224
click to vote
HICSS
2003
IEEE
16 years 22 days ago
2003
IEEE
This paper uses partially observable Markov decision processes (POMDP’s) as a basic framework for MultiAgent planning. We distinguish three perspectives: first one is that of a...
210
Voted
TITB
2008
15 years 7 months ago
2008
Episode creation is the task of classifying medical events and related clinical data to high-level concepts, such as diseases. Challenges in episode creation result in part because...
219
click to vote
COMCOM
2011
15 years 2 months ago
2011
The rapid proliferation of mobile computing devices and local wireless networks over the past few years has promoted a continuously growing interest in location-aware systems and ...