1643 search results - page 200 / 329 » Consistability: Describing Usually Consistent Systems |
CIKM
1994
Springer
15 years 2 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
BMCBI
2006
14 years 10 months ago
2006
Background: Anatomical studies of neural circuitry describing the basic wiring diagram of the brain produce intrinsically spatial, highly complex data of great value to the neuros...
120
click to vote
MCMASTER
1993
15 years 2 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
AAMAS
2008
Springer
14 years 10 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
116
click to vote
ICAC
2005
IEEE
15 years 4 months ago
2005
IEEE
Grid environments enable users to share non-dedicated resources that lack performance guarantees. This paper describes the design of application-centric middleware components to a...