6020 search results - page 858 / 1204 » A New Approach to Model Counting |
164
click to vote
DAGM
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Features like junctions and corners are a rich source of information for image understanding. We present a novel theoretical framework for the analysis of such 2D feature...
158
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
In the information age, the availability of data on consumer profiles has opened new possibilities for companies to increase their revenue via data mining techniques. One approach...
179
click to vote
ICLP
2004
Springer
16 years 1 days ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
165
click to vote
ISMIR
2004
Springer
16 years 20 hour ago
2004
Springer
Automatic audio classification usually considers sounds as music, speech, silence or noise, but works about the noise class are rare. Audio features are generally specific to sp...
157
click to vote
KR
2004
Springer
16 years 16 hour ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...