2861 search results - page 183 / 573 » Constraint Programming |
109
Voted
MATES
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by t...
HCI
2007
14 years 11 months ago
2007
Ambient intelligence involves synthesising data from a range of sources in order to exhibit meaningful adaptive behaviour without explicit user direction, driven by inputs from lar...
128
Voted
SIGMOD
2012
ACM
13 years 20 days ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
69
Voted
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
100
Voted
ICLP
2007
Springer
15 years 2 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...