Sciweavers

5216 search results - page 686 / 1044
» Planning as Model Checking
Sort
View
VLDB
1999
ACM
87views Database» more  VLDB 1999»
15 years 11 months ago
Query Optimization for XML
XML is an emerging standard for data representation and exchange on the World-Wide Web. Due to the nature of information on the Web and the inherent flexibility of XML, we expect...
Jason McHugh, Jennifer Widom
ATAL
2009
Springer
15 years 10 months ago
Norm-based behaviour modification in BDI agents
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
Felipe Rech Meneguzzi, Michael Luck
BILDMED
2008
15 years 8 months ago
Ein routine-integrierbares Planungswerkzeug zur operativen Rekonstruktion der Orbita
Operative reconstruction of fractured orbital floors must among others ensure equal volumes for left and right sides. In this paper, we present Thomas M. Deserno1 Wei Liao1 a plan...
Melanie Kleiner, Dirk Schulze, Pit Jakob Voss, Tho...
SERVICES
2008
106views more  SERVICES 2008»
15 years 8 months ago
Distributed Simulation and Web Map Mash-Up for Forest Fire Spread
The emergence of recent XML-based technologies paved the way for new types of architectures and message exchanges on the Internet through Web services. MashUps consist in combinin...
Yosri Harzallah, Vincent Michel, Qi Liu, Gabriel A...
STAIRS
2008
113views Education» more  STAIRS 2008»
15 years 8 months ago
Integrating individual and social intelligence into module-based agents without central coordinator
Robots are complex entities that can be modeled as multi-agent systems. The multi-agent paradigm provides an integrated intelligence framework such as a path planning agent that us...
Bianca Innocenti, Beatriz López, Joaquim Sa...