4211 search results - page 646 / 843 » Types as Abstract Interpretations |
158
click to vote
MPC
2010
Springer
15 years 9 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
165
click to vote
IWANN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Ubiquitous computing research have extended traditional environments in the so–called Intelligent Environments. All of them use their capabilities for pursuing their in...
181
click to vote
EVOW
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We describe a set of preliminary experiments to evolve spiking neural controllers for a vision-based mobile robot. All the evolutionary experiments are carried out on phy...
130
click to vote
SCHULE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract: Education is changing, following changes in society. The focus is shifting from teaching towards learning. And Informatics, more particularly Information and Communicatio...
158
Voted
CADE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...