3713 search results - page 579 / 743 » Constructing a Calculus of Programs |
70
Voted
RIA
2006
14 years 10 months ago
2006
In this article, we expose our research program in bio-affective-social computing aimed at guiding and participating to the development of multimodal socially intelligent agents in...
63
Voted
ISCI
2007
14 years 10 months ago
2007
Strategy planning is crucial to control a group to achieve a number of tasks in a closed area full of obstacles. In this study, genetic programming has been used to evolve rule-ba...
CORR
2004
Springer
14 years 10 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
CONSTRAINTS
2000
14 years 10 months ago
2000
The vehicle routing problem (VRP) is a variant of the familiar travelling salesperson problem (TSP). In the VRP we are to perform a number of visits, using a number of vehicles of ...
92
Voted
COMBINATORICS
2002
14 years 10 months ago
2002
Knowing the excluded minors for a minor-closed matroid property provides a useful alternative characterization of that property. It has been shown in [R. Hall, J. Oxley, C. Semple...