2189 search results - page 113 / 438 » A Graded Applicability of Rules |
145
click to vote
COORDINATION
2007
Springer
16 years 15 days ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
180
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
Despite the recognition of cellular automata (CA) as a exible and powerful tool for urban growth simulation, the calibration of CA had been largely heuristic until recent eVorts to...
190
click to vote
IFM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
150
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
— This paper addresses the need for geospatial consumers (either humans or machines) to visualize multicolored elevation contour poly lines with respect their different contour i...
189
click to vote
AAAI
2012
13 years 8 months ago
2012
We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and negations in their bodies. In partic...