2542 search results - page 174 / 509 » One step ahead |
127
click to vote
ASWSD
2004
Springer
15 years 6 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
114
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
93
Voted
CTRSA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A compact mesh architecture for supporting the relation collection step of the number field sieve is described. Differing from TWIRL, only isolated chips without inter-...
82
Voted
DAGM
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we address one of the standard problems of image processing and computer vision: The detection of points of interest (POI). We propose two new approaches for improvin...
118
click to vote
DALT
2004
Springer
15 years 6 months ago
2004
Springer
Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engine...