Sciweavers

4836 search results - page 263 / 968
» Exploring the Similarity Space
Sort
View
VLSID
1999
IEEE
91views VLSI» more  VLSID 1999»
15 years 11 months ago
Timed Circuit Synthesis Using Implicit Methods
The design and synthesis of asynchronous circuits is gaining importance in both the industrial and academic worlds. Timed circuits are a class of asynchronous circuits that incorp...
Robert Thacker, Wendy Belluomini, Chris J. Myers
DMDW
2000
173views Management» more  DMDW 2000»
15 years 8 months ago
A quality-based framework for physical data warehouse design
Data warehousing is a software infrastructure which supports OLAP applications by providing a collection of tools which allow data extraction and cleaning, data integration and ag...
Mokrane Bouzeghoub, Zoubida Kedad
AAAI
2007
15 years 9 months ago
Best-First AND/OR Search for Graphical Models
The paper presents and evaluates the power of best-first search over AND/OR search spaces in graphical models. The main virtue of the AND/OR representation is its sensitivity to ...
Radu Marinescu 0002, Rina Dechter
CORR
2010
Springer
179views Education» more  CORR 2010»
15 years 5 months ago
Active Testing for Face Detection and Localization
—We provide a novel search technique which uses a hierarchical model and a mutual information gain heuristic to efficiently prune the search space when localizing faces in images...
Raphael Sznitman, Bruno Jedynak
APN
2003
Springer
15 years 12 months ago
Model Checking Safety Properties in Modular High-Level Nets
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
Marko Mäkelä