2935 search results - page 422 / 587 » An Integrated Approach to High Integrity Software Verificati... |
189
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We describe an architectural design space exploration methodology that minimizes the energy dissipation of digital circuits. The centerpiece of our methodology is a Verilog-based ...
149
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Record linkage is an important data integration task that has many practical uses for matching, merging and duplicate removal in large and diverse databases. However, a quadratic ...
137
click to vote
DCOSS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Mobile entity navigation in dynamic environments is an essential part of many mission critical applications like search and rescue and fire fighting. The dynamism of the ...
196
click to vote
RIVF
2007
15 years 7 months ago
2007
— In this paper, we present a new approach for automatic car detection from aerial images. The system exploits a robust machine learning method known as boosting for efficient c...
139
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We consider minimal-rate sampling schemes for streams of delayed and weighted versions of a known pulse shape. Such signals belong to the class of finite rate of innovation (FRI) m...