9425 search results - page 1646 / 1885 » Some Notes on Models and Modelling |
151
click to vote
CLOUDCOM
2010
Springer
15 years 1 months ago
2010
Springer
Geospatial queries (GQ) have been used in a wide variety of applications such as decision support systems, profile-based marketing, bioinformatics and GIS. Most of the existing qu...
141
click to vote
CONSTRAINTS
2010
15 years 1 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
190
click to vote
DATAMINE
2010
15 years 1 months ago
2010
: In dyadic prediction, the input consists of a pair of items (a dyad), and the goal is to predict the value of an observation related to the dyad. Special cases of dyadic predicti...
143
click to vote
DMTCS
2010
15 years 1 months ago
2010
We present a model of automaton for picture language recognition, called Wang automaton, which is based on labeled Wang tiles. Wang automata combine features of both online tessell...
132
click to vote
IGPL
2010
15 years 1 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...