2162 search results - page 15 / 433 » Automated Reasoning on Feature Models |
EXACT
2007
15 years 2 months ago
2007
116
click to vote
AIRWEB
2008
Springer
15 years 1 months ago
2008
Springer
As web search providers seek to improve both relevance and response times, they are challenged by the ever-increasing tax of automated search query traffic. Third party systems in...
AISC
2004
Springer
15 years 3 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
111
click to vote
CSL
2007
Springer
14 years 11 months ago
2007
Springer
This paper describes discriminative language modeling for a large vocabulary speech recognition task. We contrast two parameter estimation methods: the perceptron algorithm, and a...
102
click to vote
ASP
2001
Springer
15 years 3 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...