154 search results - page 10 / 31 » The PER Model of Abstract Non-interference |
DAGM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this contribution we present a silhouette based human motion estimation system. The system components contain silhouette extraction based on level sets, a corresponden...
MIDDLEWARE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Conventional middleware architectures suffer from insufficient module-level reusability and the ability to adapt in face of functionality evolution and diversification....
IWFM
1998
14 years 11 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
DC
2008
14 years 10 months ago
2008
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...
109
click to vote
EVOW
2001
Springer
15 years 2 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...