Sciweavers

4166 search results - page 9 / 834
» Automating the constraining process
Sort
View
GIS
2002
ACM
13 years 7 months ago
Characterisation and generalisation of cartographic lines using Delaunay triangulation
A method is presented for generalising cartographic lines using an approach based on determination of their structure. Constrained Delaunay triangulation is used to construct a ske...
P. M. van der Poorten, Christopher B. Jones
CINQ
2004
Springer
182views Database» more  CINQ 2004»
13 years 11 months ago
Mining Constrained Graphs: The Case of Workflow Systems
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, ...
LICS
2000
IEEE
13 years 11 months ago
View-Based Query Processing and Constraint Satisfaction
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
LICS
1997
IEEE
13 years 11 months ago
Bisimulation for Labelled Markov Processes
Richard Blute, Josee Desharnais, Abbas Edalat, Pra...
CODES
2001
IEEE
13 years 11 months ago
The usage of stochastic processes in embedded system specifications
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...
Axel Jantsch, Ingo Sander, Wenbiao Wu