Sciweavers

987 search results - page 86 / 198
» A new Informative Generic Base of Association Rules
Sort
View
ICLP
2009
Springer
14 years 8 months ago
Constraint Answer Set Solving
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
Martin Gebser, Max Ostrowski, Torsten Schaub
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
14 years 1 months ago
Path-dependent gaze control for obstacle avoidance in vision guided humanoid walking
Abstract— This article presents a novel gaze control strategy for obstacle avoidance in the context of vision guided humanoid walking. The generic strategy is based on the maximi...
Javier F. Seara, Klaus H. Strobl, Günther Sch...
ECAI
1992
Springer
13 years 11 months ago
A Strategy for the Computation of Conditional Answers
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...
Robert Demolombe
WCRE
2010
IEEE
13 years 6 months ago
Mining Source Code for Structural Regularities
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
Angela Lozano, Andy Kellens, Kim Mens, Gabriela Ar...
MAM
2006
101views more  MAM 2006»
13 years 7 months ago
EPICURE: A partitioning and co-design framework for reconfigurable computing
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
Jean-Philippe Diguet, Guy Gogniat, Jean Luc Philip...