Sciweavers

1917 search results - page 113 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
74
Voted
ICIP
2008
IEEE
15 years 7 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
15 years 6 months 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...
94
Voted
DATE
2003
IEEE
113views Hardware» more  DATE 2003»
15 years 6 months 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...
88
Voted
AGENTS
1997
Springer
15 years 5 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
82
Voted
CADE
1994
Springer
15 years 4 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