Sciweavers

2672 search results - page 335 / 535
» Hybridizing Concept Languages
Sort
View
265
Voted
CP
2009
Springer
16 years 4 months ago
Minimising Decision Tree Size as Combinatorial Optimisation
Decision tree induction techniques attempt to find small trees that fit a training set of data. This preference for smaller trees, which provides a learning bias, is often justifie...
Christian Bessiere, Emmanuel Hebrard, Barry O'Sull...
123
Voted
CADE
2005
Springer
16 years 3 months ago
Temporal Logics over Transitive States
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
Boris Konev, Frank Wolter, Michael Zakharyaschev
141
Voted
CP
2009
Springer
15 years 10 months ago
Why Cumulative Decomposition Is Not as Bad as It Sounds
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, M...
ICNP
2009
IEEE
15 years 10 months ago
Declarative Policy-based Adaptive MANET Routing
—This paper presents the design and implementation of declarative policy-based adaptive MANET routing protocols. Our work builds upon declarative networking, a recent innovation ...
Changbin Liu, Ricardo Correa, Xiaozhou Li, Prithwi...
108
Voted
ROBOCUP
2009
Springer
110views Robotics» more  ROBOCUP 2009»
15 years 10 months ago
A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
Tim Niemüller, Alexander Ferrein, Gerhard Lak...