Sciweavers

233 search results - page 34 / 47
» Intelligent compilers
Sort
View
CP
2003
Springer
15 years 2 months ago
Box Constraint Collections for Adhoc Constraints
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
ETS
2002
IEEE
129views Hardware» more  ETS 2002»
14 years 9 months ago
Introducing the Strawberry Discovery and Niche Process
The Strawberry Discovery and Niche Process (SDNP) introduces a workbook, a new systematic method, a compact and cost-effective training process. The trainees are directed in a sys...
Kristiina Annala
ICIA
2007
14 years 12 months ago
Learning Interaction between Conflicting Human Agents and Their Assistants
We build the generic methodology based on machine learning and reasoning to detect the patterns of interaction between conflicting agents, including humans and their assistants. L...
Boris Galitsky, Boris Kovalerchuk
CP
2006
Springer
15 years 1 months ago
Interactive Distributed Configuration
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henne...
80
Voted
ECAI
2006
Springer
15 years 1 months ago
A Multivalued Logic Model of Planning
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...
Marco Baioletti, Alfredo Milani, Valentina Poggion...