1001 search results - page 125 / 201 » Digitization and Value Creation |
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— As content delivery to wireless devices becomes faster and scalable, it is likely that mobile commerce will constitute a significant portion of digital commerce. In markets, b...
100
click to vote
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
SETA
2004
Springer
15 years 3 months ago
2004
Springer
A classical problem of digital sequence design, first studied in the 1950s but still not well understood, is to determine those binary sequences whose aperiodic autocorrelations ...
CAIP
1997
Springer
15 years 2 months ago
1997
Springer
A two-stage approach is discussed for reconstructing a dense digital elevation model DEM of the terrain from multiple pre-calibrated images taken by distinct cameras at di erent ...
ATAL
2008
Springer
15 years 2 hour ago
2008
Springer
This paper studies self-organized flocking in a swarm of mobile robots. We present Kobot, a mobile robot platform developed specifically for swarm robotic studies, briefly describ...