2542 search results - page 174 / 509 » One step ahead |
ASWSD
2004
Springer
14 years 4 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...
CAV
2004
Springer
14 years 4 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...
CTRSA
2004
Springer
14 years 4 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-...
DAGM
2004
Springer
14 years 4 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...
DALT
2004
Springer
14 years 4 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...