Sciweavers

9325 search results - page 365 / 1865
» The decentralized implementability problem
Sort
View
AAAI
2008
15 years 7 months ago
Bimodal Spatial Reasoning with Continuous Motion
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
Samuel Wintermute, John E. Laird
IJMMS
1998
93views more  IJMMS 1998»
15 years 6 months ago
Construction of problem-solving methods as parametric design
The knowledge-engineering literature contains a number of approaches for constructing or selecting problem solvers. Some of these approaches are based on indexing and selecting a ...
Annette ten Teije, Frank van Harmelen, A. Th. Schr...
FSEN
2007
Springer
16 years 28 days ago
Zone-Based Universality Analysis for Single-Clock Timed Automata
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
Parosh Aziz Abdulla, Joël Ouaknine, Karin Qua...
200
Voted
SC
2003
ACM
16 years 6 hour ago
Dyn-MPI: Supporting MPI on Non Dedicated Clusters
Distributing data is a fundamental problem in implementing efficient distributed-memory parallel programs. The problem becomes more difficult in environments where the participa...
D. Brent Weatherly, David K. Lowenthal, Mario Naka...
IPPS
2002
IEEE
15 years 11 months ago
Optimizing Graph Algorithms for Improved Cache Performance
Tiling has long been used to improve cache performance. Recursion has recently been used as a cache-oblivious method of improving cache performance. Both of these techniques are n...
Joon-Sang Park, Michael Penner, Viktor K. Prasanna