2254 search results - page 159 / 451 » Computing the minimal covering set |
146
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
146
click to vote
ENC
2007
IEEE
16 years 28 days ago
2007
IEEE
Searchius is a collaborative search engine that produces search results based solely on user provided web-related data. We discuss the architecture of this system and how it compa...
153
click to vote
EMMCVPR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...
162
click to vote
ISMVL
2005
IEEE
16 years 5 days ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
152
click to vote
CEEMAS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The complexity associated to Humanitarian Demining becomes very high due to its broad set of activities, which beyond the already complex of landmine removal, includes ot...