1634 search results - page 91 / 327 » Reasoning about Knowledge Using Rough Sets |
GC
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a locality-based dissemination graph algorithm for scalable reliable broadcast. Our algorithm scales in terms of both network and memory usage. Processes only h...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper is about the design and implementation of an information system, using Wiki technology to improve the emergency preparedness efforts of the Claremont University Consort...
CAISE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
MICCAI
2004
Springer
14 years 11 months ago
2004
Springer
This paper describes a method for estimating a human spine posture from human images using a human spine model to compute the rough approximation of the physical forces working on ...