Sciweavers

1917 search results - page 113 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
ICIP
2008
IEEE
16 years 1 months ago
Decomposition of branching volume data by tip detection
We present an approach to decomposing branching volume data into sub-branches. First, a metric is proposed for evaluating local convexities in volumetric data, and it is a criteri...
Wei Ma, Bo Xiang, Xiaopeng Zhang, Hongbin Zha
ICCBR
2005
Springer
16 years 8 days ago
Using CBR to Select Solution Strategies in Constraint Programming
Constraint programming is a powerful paradigm that offers many different strategies for solving problems. Choosing a good strategy is difficult; choosing a poor strategy wastes r...
Cormac Gebruers, Brahim Hnich, Derek G. Bridge, Eu...
DATE
2003
IEEE
113views Hardware» more  DATE 2003»
16 years 4 days ago
Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
Laura Vanzago, Bishnupriya Bhattacharya, Joel Camb...
AGENTS
1997
Springer
15 years 11 months ago
Linearly Anticipatory Autonomous Agents
Abstract. A special kind of anticipation is when an anticipated undesired situation makes an agent adapt its behavior in order to prevent that this situation will occur. In this ch...
Paul Davidsson
CADE
1994
Springer
15 years 11 months ago
A Completion-Based Method for Mixed Universal and Rigid E-Unification
We present a completion-based method for handling a new version of E-unification, called "mixed" E-unification, that is a combination of the classical "universal&quo...
Bernhard Beckert