2500 search results - page 234 / 500 » Specifying Behavior in C |
173
click to vote
SWARM
2008
SPRINGER
15 years 4 months ago
2008
SPRINGER
We present a biologically inspired approach to the dynamic assignment and reassignment of a homogeneous swarm of robots to multiple locations, which is relevant to applications lik...
103
click to vote
TSP
2008
15 years 4 months ago
2008
An array-based algorithm for multichannel lattice filtering is proposed. The filter is formed by a set of units that are adapted locally and concurrently using recursions that clos...
133
click to vote
CL
2004
Springer
15 years 4 months ago
2004
Springer
In the context of meta-programming and reflective languages, classes are treated as full fledged objects which are instances of other classes named metaclasses. Metaclasses have p...
143
click to vote
CONSTRAINTS
2002
15 years 4 months ago
2002
A global cardinality constraint (gcc) is specified in terms of a set of variables X = {x1, ..., xp} which take their values in a subset of V = {v1, ..., vd}. It constrains the numb...
124
click to vote
HF
2002
15 years 4 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...