2701 search results - page 108 / 541 » On the form of witness terms |
157
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
167
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we study multi-agent economic systems using a recent approach to economic modeling called Agent-based Computational Economics (ACE): the application of the Complex ...
167
click to vote
ICRA
2005
IEEE
16 years 20 hour ago
2005
IEEE
— This paper presents a method for a planar rigid body consisting of multiple convex bodies to explore an unknown planar workspace, i.e., an unknown configuration space diffeomo...
151
click to vote
ECAL
2005
Springer
15 years 12 months ago
2005
Springer
This research investigates an evolutionary approach to engineering agent collectives that accomplish tasks cooperatively. In general, reproduction and selection form the two corner...
192
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...