2162 search results - page 108 / 433 » Automated Reasoning on Feature Models |
148
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
115
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear l...
147
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...
143
click to vote
GIS
2008
ACM
15 years 4 months ago
2008
ACM
With the growth of wireless and mobile technologies, we are witnessing an increase in location-based services (LBS). Although LBS provide enhanced functionalities, they open up ne...
146
click to vote
CSL
2011
Springer
14 years 10 months ago
2011
Springer
This paper proposes a novel user intention simulation method which is data-driven but can integrate diverse user discourse knowledge to simulate various types of user behaviors. A...