6020 search results - page 666 / 1204 » A New Approach to Model Counting |
244
click to vote
DATESO
2004
15 years 8 months ago
2004
The XML language have been becoming de-facto a standard for representation of heterogeneous data in the Internet. From database point of view, XML is a new approach to data modelli...
194
click to vote
NIPS
2003
15 years 8 months ago
2003
A recent area of significant progress in speaker recognition is the use of high level features—idiolect, phonetic relations, prosody, discourse structure, etc. A speaker not on...
224
click to vote
NN
2000
Springer
15 years 7 months ago
2000
Springer
ICA (independent component analysis) is a new, simple and powerful idea for analyzing multi-variant data. One of the successful applications is neurobiological data analysis such ...
519
click to vote
IPMI
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. Multi-object segmentation with mutual interaction is a challenging task in medical image analysis. We report a novel solution to a segmentation problem, in which target o...
228
click to vote
CC
2012
Springer
14 years 3 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...