6020 search results - page 321 / 1204 » A New Approach to Model Counting |
201
click to vote
DALT
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
165
click to vote
IJCNN
2006
IEEE
16 years 23 days ago
2006
IEEE
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...
189
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
In this paper we introduce a new approach for recovering shape-from-shading (SFS) from synthetic aperture radar (SAR) images of the terrain. Three contributions are proposed. Firs...
165
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a new method for detecting the musical instruments that are present in single-channel mixtures. Such a task is of interest for audio and multimedia content analysis and...
193
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Motion detection and estimation are known to be important in many automated surveillance systems. It has drawn significant research interest in the field of computer vision. This ...