628 search results - page 39 / 126 » Towards High-Level Programming for Distributed Problem Solvi... |
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
80
Voted
SIGMOD
2001
ACM
15 years 9 months ago
2001
ACM
This paper describes the methodology and implementation of a data management system for highly distributed systems, which was built to solve the scalability and reliability proble...
118
click to vote
VECPAR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Optimization problems constrained by nonlinear partial differential equations have been the focus of intense research in scientific computing lately. Current methods for...
103
click to vote
EUSAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has adva...
192
click to vote
COSIT
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...