1773 search results - page 124 / 355 » The Visibility-Voronoi Complex and Its Applications |
130
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
145
click to vote
BPM
2009
Springer
16 years 28 days ago
2009
Springer
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
165
click to vote
CPAIOR
2009
Springer
16 years 27 days ago
2009
Springer
Context-free grammar constraints enforce that a sequence of variables forms a word in a language defined by a context-free grammar. The constraint has received a lot of attention ...
166
click to vote
FSTTCS
2009
Springer
16 years 27 days ago
2009
Springer
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
165
click to vote
PDCAT
2009
Springer
16 years 26 days ago
2009
Springer
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...