2632 search results - page 418 / 527 » Alternating Timed Automata |
WSC
1998
15 years 3 months ago
1998
Flexible automation in the form of mobile robots holds the potential for decreasing operating costs while improving delivery performance in mid-size hospital delivery systems. Thi...
WSC
2000
15 years 3 months ago
2000
We have developed and applied modeling, simulation, and analysis capabilities for addressing strategic and tactical logistics problems in the chemical industry. These problems hav...
143
click to vote
VMV
2007
15 years 2 months ago
2007
We present an image editing tool that allows to deform and composite image regions using an intuitive sketch-based interface. Users simply draw the outline of the source image reg...
104
click to vote
AIPS
2009
15 years 2 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
150
Voted
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...