6020 search results - page 520 / 1204 » A New Approach to Model Counting |
227
click to vote
FDL
2006
IEEE
16 years 1 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
183
click to vote
WSC
2004
15 years 8 months ago
2004
Existing research has defined a new type of simulation time called Approximate Time, where the simulation's knowledge about the values that represent time is uncertain. The a...
211
click to vote
AAAI
2000
15 years 8 months ago
2000
We present a new domain for unsupervised learning: automatically customizing the computer to a specific melodic performer by merely listening to them improvise. We also describe B...
177
click to vote
NIPS
2000
15 years 8 months ago
2000
The Vicinal Risk Minimization principle establishes a bridge between generative models and methods derived from the Structural Risk Minimization Principle such as Support Vector M...
196
click to vote
RIAO
2000
15 years 8 months ago
2000
In this paper we present a new approach to classifying radiographs, which is the first important task of the IRMA system. Given an image, we compute posterior probabilities for ea...