2477 search results - page 93 / 496 » First-Order Interactive Programming |
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
Domestic and real world robotics requires continuous learning of new skills and behaviors to interact with humans. Auto-supervised learning, a compromise between supervised and co...
EUROGP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Particle Swarm Optimisers (PSOs) search using a set of interacting particles flying over the fitness landscape. These are typically controlled by forces that encourage ...
CSL
2004
Springer
14 years 22 days ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
GCSE
2000
Springer
14 years 18 days ago
2000
Springer
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...