Sciweavers

2790 search results - page 7 / 558
» A generative theory of relevance
Sort
View
HASE
2002
IEEE
14 years 3 months ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri
ECCV
2002
Springer
15 years 22 days ago
The Relevance of Non-generic Events in Scale Space Models
In order to investigate the deep structure of Gaussian scale space images, one needs to understand the behaviour of spatial critical points under the influence of blurring. We sho...
Arjan Kuijper, Luc Florack
TVLSI
2002
107views more  TVLSI 2002»
13 years 10 months ago
Low-power clock distribution using multiple voltages and reduced swings
: Clock networks account for a significant fraction of the power dissipation of a chip and are critical to performance. This paper presents theory and algorithms for building a low...
Jatuchai Pangjun, Sachin S. Sapatnekar
SYNTHESE
2010
147views more  SYNTHESE 2010»
13 years 9 months ago
A resource-bounded agent addresses the newcomb problem
In the Newcomb problem, the standard arguments for taking either one box or both boxes adduce what seem to be relevant considerations, but they are not complete arguments, and att...
John L. Pollock
MEMOCODE
2010
IEEE
13 years 8 months ago
A flexible schema for generating explanations in lazy theory propagation
Abstract--Theory propagation in Satisfiability Modulo Theories is crucial for the solver's performance. It is important, however, to pay particular care to the amount of deduc...
Roberto Bruttomesso, Edgar Pek, Natasha Sharygina