7393 search results - page 1295 / 1479 » Synthesis-for-testability using transformations |
164
click to vote
JFLP
2002
15 years 6 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
256
click to vote
JHSN
2002
15 years 6 months ago
2002
A computer network consists of a set of computing nodes interconnected via communication channels. It is commonly assumed that, for each pair of network nodes u and v, there is at...
150
click to vote
JOLLI
2002
15 years 6 months ago
2002
Abstract. Relational Grammar (RG) was introduced in the 70's as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. F...
155
click to vote
JIRS
1998
15 years 6 months ago
1998
After a brief review of the current research on multi-robot systems, the paper presents a path planning and control scheme for a cooperative three-robot system transferring/manipul...
167
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
The algorithmic generation of textual descriptions of image sequences requires conceptual knowledge. In our case, a stationary camera recorded image sequences of road traffic scene...