2935 search results - page 422 / 587 » An Integrated Approach to High Integrity Software Verificati... |
232
Voted
DAC
1997
ACM
15 years 11 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 ...
174
Voted
CIKM
2009
Springer
15 years 11 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 ...
164
Voted
DCOSS
2006
Springer
15 years 10 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 ...
233
Voted
RIVF
2007
15 years 8 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...
164
Voted
CORR
2010
Springer
15 years 7 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...