9719 search results - page 495 / 1944 » Inference for Multiplicative Models |
150
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
Chord progressions are the building blocks from which tonal music is constructed. Inferring chord progressions is thus an essential step towards modeling long term dependencies in...
166
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
159
click to vote
ECIR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Retrieving semistructured (XML) data typically requires either a structured query such as XPath, or a keyword query that does not take structure into account. In this pap...
140
Voted
DIS
2007
Springer
15 years 11 months ago
2007
Springer
The massive, ever-growing literature in life science makes it increasingly difficult for individuals to grasp all the information relevant to their interests. Since even experts’...
129
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...