Sciweavers

2254 search results - page 159 / 451
» Computing the minimal covering set
Sort
View
DAC
1999
ACM
16 years 7 months ago
LISA - Machine Description Language for Cycle-Accurate Models of Programmable DSP Architectures
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...
Stefan Pees, Andreas Hoffmann, Vojin Zivojnovic, H...
ENC
2007
IEEE
16 years 28 days ago
Searchius: A Collaborative Search Engine
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...
Athanasios Papagelis, Christos D. Zaroliagis
EMMCVPR
2007
Springer
16 years 23 days ago
Decomposing Document Images by Heuristic Search
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...
Dashan Gao, Yizhou Wang
ISMVL
2005
IEEE
90views Hardware» more  ISMVL 2005»
16 years 5 days ago
Test Generation and Fault Localization for Quantum Circuits
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...
Marek A. Perkowski, Jacob Biamonte, Martin Lukac
CEEMAS
2005
Springer
16 years 4 days ago
Multiagents Applied to Humanitarian Demining
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...
Pedro Santana, José Barata, Luís Flo...