6020 search results - page 692 / 1204 » A New Approach to Model Counting |
195
click to vote
ISBI
2002
IEEE
16 years 8 months ago
2002
IEEE
A new algorithm for 3D reconstruction of twodimensional crystals from projections is presented, and applied to biological macromolecules imaged using electron microscopy. Its main...
219
click to vote
ISBI
2006
IEEE
16 years 8 months ago
2006
IEEE
We address the problem of classification of EEG recordings for the detection of epileptic seizures. We assume that the EEG measurements can be described by a low dimensional manif...
194
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
Modeling and simulating pipelined processors in procedural languages such as C/C++ requires lots of cost in handling concurrent events, which hinders fast simulation. A number of ...
188
click to vote
ICCAD
2002
IEEE
16 years 4 months ago
2002
IEEE
Existing static timing analyzers make several assumptions about circuits, implicitly trading off accuracy for speed. In this paper we examine the validity of these assumptions, no...
207
click to vote
ICDAR
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper presents a new enhanced text extraction algorithm from degraded document images on the basis of the probabilistic models. The observed document image is considered as a...