1038 search results - page 148 / 208 » Task Description |
113
click to vote
ISMVL
2007
IEEE
15 years 8 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure, such tools pinpoint a set of statements that are most...
119
click to vote
MEMOCODE
2007
IEEE
15 years 8 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
130
click to vote
WISE
2007
Springer
15 years 8 months ago
2007
Springer
The increasing number of personal digital photos on the Web makes their management, retrieval and visualization a difficult task. To annotate these images using Semantic Web techno...
160
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...