936 search results - page 118 / 188 » The Synthesis Problem of Netcharts |
122
click to vote
JSAT
2006
15 years 3 months ago
2006
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
126
Voted
IVC
2007
15 years 3 months ago
2007
The problem of clustering is often addressed with techniques based on a Voronoi partition of the data space. Vector quantization is based on a similar principle, but it is a diffe...
111
Voted
CCE
2004
15 years 3 months ago
2004
: This paper presents a meta-heuristic optimization algorithm, Tabu Search (TS), and describes how it can be used to solve a wide variety of chemical engineering problems. Modifica...
146
click to vote
FOCM
2011
14 years 7 months ago
2011
This paper considers large-scale simulations of wave propagation phenomena. We argue that it is possible to accurately compute a wavefield by decomposing it onto a largely incomp...
140
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We present a method for space-time completion of large space-time "holes" in video sequences of complex dynamic scenes. The missing portions are filled-in by sampling sp...