12981 search results - page 2406 / 2597 » Model Checking (Abstract) |
122
click to vote
AR
2002
15 years 3 months ago
2002
Abstract--A prominent emerging theory of sensorimotor development in biological systems proposes that control knowledge is encoded in the dynamics of physical interaction with the ...
124
click to vote
AUTOMATICA
2002
15 years 3 months ago
2002
Abstract. The proper measure of closed-loop performance variation in the presence of modelplant mismatch is discussed in this paper. A generalized closed-loop error transfer functi...
146
click to vote
AAMAS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
149
click to vote
COMPUTER
2002
15 years 3 months ago
2002
of abstraction and coarse granularity and distributed communication control. Focusing on using probabilistic metrics such as average values or variance to quantify design objective...
131
click to vote
DIDACTICA
2000
15 years 3 months ago
2000
Abstract During its development computer science has more and more established a way it sees itself. However, in recent years the rise of distributed systems and object orientation...