4072 search results - page 35 / 815 » Becoming Increasingly Reactive |
86
Voted
MODELLIERUNG
2004
15 years 9 days ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
89
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
94
Voted
JCC
2007
14 years 10 months ago
2007
Abstract: Starting from the 1980s and onwards, Valence Bond theory has been enjoying renaissance that is characterized by the development of a growing number of ab initio methods, ...
AR
1998
14 years 10 months ago
1998
Robotic soccer presents a large spectrum of challenging research opportunities. In this article, we present the main research and technical contributions of our champion CMUnited-...
79
Voted
JAIHC
2010
14 years 9 months ago
2010
The significance that ambient intelligence (AmI) has acquired in recent years requires the development of innovative solutions. In this sense, the development of AmI-based systems...