3931 search results - page 477 / 787 » Separation logic and abstraction |
223
click to vote
ANTSW
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We consider a heterogeneous swarm robotic system composed of wheeled and aerial robots called foot-bots and eye-bots, respectively. The foot-bots are able to physically c...
211
click to vote
IPCV
2010
15 years 5 months ago
2010
Abstract-- Different models for computing the spatial relations have been developed in the last decade. Separate methods are used for computing topological, directional and distanc...
181
click to vote
SOCO
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...
264
click to vote
FCCM
2009
IEEE
15 years 4 months ago
2009
IEEE
Adaptive systems are set to become more mainstream, as numerous practical applications in the communications domain emerge. FPGAs offer an ideal implementation platform, combining...
179
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. Motion sensing technologies are well developed at the biomechanical (motion capture) and geo-locative (GPS) scales. However, there are many degrees of scale between these...