5205 search results - page 271 / 1041 » Tilings and model theory |
WWW
2011
ACM
13 years 5 months ago
2011
ACM
Most product search engines today build on models of relevance devised for information retrieval. However, the decision mechanism that underlies the process of buying a product is...
AIMS
2009
Springer
14 years 5 months ago
2009
Springer
Ontological modelling for machine inference has featured prominently in IT management research recently, but there is more immediate scope for knowledge modelling in the realm of h...
ICMT
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
TBILLC
2007
Springer
14 years 5 months ago
2007
Springer
In the line of some earlier work done on belief dynamics, we an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A modal la...
TACAS
2004
Springer
14 years 4 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...