6020 search results - page 572 / 1204 » A New Approach to Model Counting |
203
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
Estimating the color of a scene illuminant often plays a central role in computational color constancy. While this problem has received significant attention, the methods that exi...
301
click to vote
ICDE
1998
IEEE
16 years 8 months ago
1998
IEEE
Traditional Event-Condition-Action triggers (active database rules) include a Boolean predicate as a trigger condition. We propose fuzzy triggers whereby fuzzy inference is utiliz...
182
click to vote
ICML
2008
IEEE
16 years 8 months ago
2008
IEEE
Discovering additive structure is an important step towards understanding a complex multi-dimensional function because it allows the function to be expressed as the sum of lower-d...
205
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
189
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...