3898 search results - page 292 / 780 » On the Bit Extraction Problem |
133
Voted
MPC
1995
Springer
15 years 7 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
109
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we address the problem of extracting important (and unimportant) discourse patterns from call center conversations. Call centers provide dialog based calling-in supp...
130
Voted
NIPS
2004
15 years 5 months ago
2004
Semantic taxonomies such as WordNet provide a rich source of knowledge for natural language processing applications, but are expensive to build, maintain, and extend. Motivated by...
149
Voted
AAAI
1994
15 years 5 months ago
1994
We propose a novel approach to auditory stream segregation which extracts individual sounds (auditory stream) from a mixture of sounds in auditory scene analysis. The HBSS (Harmon...
150
click to vote
WCE
2007
15 years 4 months ago
2007
— Texture analysis plays an increasingly important role in computer vision. Since the textural properties of images appear to carry useful information for discrimination purposes...