414 search results - page 42 / 83 » Reflections on the Object Constraint Language |
GEOINFO
2004
15 years 1 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
125
click to vote
WLP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
110
click to vote
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Shape symmetry is an important cue for image understanding. In the absence of more detailed prior shape information, segmentation can be significantly facilitated by symmetry. How...
CAV
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
104
click to vote
TKDE
2008
14 years 11 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...