Sciweavers

5064 search results - page 656 / 1013
» Recent Developments in Gridsolve
Sort
View
AAAI
2007
15 years 9 months ago
Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm
This paper contains two important contributions for the development of possibilistic causal networks. The first one concerns the representation of interventions in possibilistic ...
Salem Benferhat, Salma Smaoui
AAAI
2007
15 years 9 months ago
Data Structures for Generalised Arc Consistency for Extensional Constraints
Extensional (table) constraints are an important tool for attacking combinatorial problems with constraint programming. Recently there has been renewed interest in fast propagatio...
Ian P. Gent, Christopher Jefferson, Ian Miguel, Pe...
AAAI
2008
15 years 9 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
FLAIRS
2007
15 years 9 months ago
Applying Heuristic Evaluation to Human-Robot Interaction Systems
Though attention to evaluating human-robot interfaces has increased in recent years, there are relatively few reports of using evaluation tools during the development of humanrobo...
Edward Clarkson, Ronald C. Arkin
DLOG
2008
15 years 9 months ago
Partitioning OWL Knowledge Bases - Revisited and Revised
The development of scalable reasoning systems is one of the crucial factors determining the success of Semantic Web systems. Recently, in [GH06], an approach is proposed, which tac...
Sebastian Wandelt