Sciweavers

1693 search results - page 186 / 339
» Pattern-Recognition: a Foundational Approach
Sort
View
GIS
1997
ACM
15 years 9 months ago
Speeding up Bulk-Loading of Quadtrees
Spatial indexes, such as the PMR quadtree, are important in spatial databases for efficient execution of queries involving spatial constraints, especially when the queries involve...
Gísli R. Hjaltason, Hanan Samet, Yoram J. S...
ATAL
2005
Springer
15 years 8 months ago
Tactical coordination in no-press diplomacy
While there is a broad theoretic foundation for creating computational players for two-player games, such as Chess, the multi-player domain is not as well explored. We make an att...
Stefan J. Johansson, Fredrik Håård
FORTEST
2008
15 years 7 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
AIPRF
2007
15 years 7 months ago
On the Role of Interactive Epistemology in Multiagent Planning
This paper focuses on the foundational role of interactive epistemology in the problem of generating plans for rational agents in multiagent settings. Interactive epistemology dea...
Prashant Doshi
ENTCS
2008
64views more  ENTCS 2008»
15 years 6 months ago
Service Discovery and Negotiation With COWS
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
Alessandro Lapadula, Rosario Pugliese, Francesco T...