13383 search results - page 2342 / 2677 » Abstractions from proofs |
121
click to vote
INDOCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. From several decades, non-adjacent form (NAF) representations for integers have been extensively studied as an alternative to the usual binary number system where digits ...
167
click to vote
SAB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
130
click to vote
WAPCV
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper proposes a neuronal-based solution to active visual search, that is, visual search for a given target in displays that are too large in spatial extent to be in...
143
click to vote
PDP
2003
IEEE
15 years 9 months ago
2003
IEEE
The enlarging market of portable devices and wireless networks stimulates the provisioning of mobilityenabled Internet services with differentiated levels of Quality of Service (Q...
149
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...