998 search results - page 148 / 200 » From Feasible Proofs to Feasible Computations |
GEOINFO
2003
13 years 11 months ago
2003
Planning and optimizing urban traffic is a difficult problem, with considerable economic and social impacts. The development of suitable software tools to aid municipal governments...
IADIS
2003
13 years 11 months ago
2003
This paper is about a web-based system for collaboration and sharing of information among medical professionals. The system, originally targeted for ophthalmologists, has a generi...
IJCAI
2003
13 years 11 months ago
2003
Keyphrases are useful for a variety of purposes, including summarizing, indexing, labeling, categorizing, clustering, highlighting, browsing, and searching. The task of automatic ...
PUK
2000
13 years 11 months ago
2000
This paper proposes a new planning architecture for agents operating in uncertain and dynamic environments. Decisiontheoretic planning has been recognized as a useful tool for rea...
AAMAS
2007
Springer
13 years 10 months ago
2007
Springer
Multiagent control provides strategies for aggregating microscopic robots (“nanorobots”) in fluid environments relevant for medical applications. Unlike larger robots, viscou...