2162 search results - page 385 / 433 » Automated Reasoning on Feature Models |
136
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
144
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
137
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
In sponsored search, a number of advertising slots is available on a search results page, and have to be allocated among a set of advertisers competing to display an ad on the pag...
142
click to vote
HRI
2006
ACM
15 years 9 months ago
2006
ACM
The essence of the signal-to-symbol problem consists of associating a symbolic description of an object (e.g., a chair) to a signal (e.g., an image) that captures the real object....
147
click to vote
AIPS
2011
14 years 7 months ago
2011
Engineering complete planning domain descriptions is often very costly because of human error or lack of domain knowledge. Learning complete domain descriptions is also very chall...