6020 search results - page 689 / 1204 » A New Approach to Model Counting |
190
click to vote
EJC
2008
15 years 9 months ago
2008
This paper presents a novel model of co-reference knowledge, which is based on the distinction of (i) a model of a common reality, (ii) a model of an agent's opinion about rea...
153
click to vote
WSC
2001
15 years 8 months ago
2001
The increased tasking and reduced manning of a multi mission aircraft put pressures on the mission-crew in terms of their workload, mixture of skill and the training required. Thi...
206
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper presents a new approach for fitting a 3D morphable model to images of faces, using self-adapting feature layers (SAFL). The algorithm integrates feature detect...
184
click to vote
JSA
2008
15 years 7 months ago
2008
Processor simulators are important parts of processor design toolsets in which they are used to verify and evaluate the properties of the designed processors. While simulating arch...
225
click to vote
SMI
2010
IEEE
15 years 5 months ago
2010
IEEE
—The level set method can implement a wide variety of shape modeling operations (e.g. offsetting, skeletonization, morphing, blending, smoothing, sharpening, embossing, denoising...