7213 search results - page 300 / 1443 » Automated model grouping |
189
click to vote
CP
2003
Springer
15 years 12 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...
154
click to vote
KR
2010
Springer
15 years 11 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...
160
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
203
click to vote
ICLP
2010
Springer
15 years 10 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 ...
199
click to vote
GIS
2008
ACM
15 years 7 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...