799 search results - page 86 / 160 » Synthesis for Probabilistic Environments |
135
click to vote
ICMAS
2000
15 years 5 months ago
2000
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
150
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— We address the problem of real-time navigation in dynamic environments for car-like robots. Our approach generalizes the concept of velocity obstacles, which have been used for...
135
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
This paper describes a novel methodology for high performance asynchronous design based on timed circuits and on CAD support for their synthesis using Relative Timing. This method...
144
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
111
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
The size and complexity of current custom VLSI have forced the use of high-level programming languages to describe hardware, and compiler and synthesis technology bstract designs ...