8132 search results - page 353 / 1627 » Dependability, Abstraction, and Programming |
174
Voted
HYBRID
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
149
click to vote
JELIA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
184
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The RoboCup Simulator League provides an excellent platform for research on swarm computing. Our research focuses on group behaviors emerge from collections of actors mak...
160
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
160
click to vote
EUROPAR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present a relational algebra based framework for compiling e cient sparse matrix code from dense DO-ANY loops and a speci cation of the representation of the sparse ma...