1127 search results - page 181 / 226 » Theory Extension in ACL2(r) |
161
click to vote
JMLR
2006
15 years 6 months ago
2006
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...
172
click to vote
LISP
2008
15 years 6 months ago
2008
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
150
click to vote
JSAC
2006
15 years 6 months ago
2006
We consider a distributed power control scheme for wireless ad hoc networks, in which each user announces a price that reflects compensation paid by other users for their interfere...
141
click to vote
EOR
2007
15 years 6 months ago
2007
In the two-dimensional single large object placement problem, we are given a rectangular master surface which has to be cut into a set of smaller rectangular items, with the aim o...
164
click to vote
RAS
2006
15 years 6 months ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...