2794 search results - page 219 / 559 » A New Architecture for Automated Modelling |
166
click to vote
LPNMR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
145
click to vote
JDIM
2010
15 years 1 months ago
2010
ABSTRACT. The design process followed to produce traditional applications needs to be enhanced to cope with new contextaware ubiquitous application requirements. With the popularit...
190
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
179
click to vote
TCIAIG
2010
15 years 1 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
272
click to vote
GIS
2007
ACM
16 years 8 months ago
2007
ACM
We propose a new multi-scale terrain model, based on a hierarchical representation for the morphology of a terrain. The basis of our morphological model is a dual Morse decomposit...