1243 search results - page 196 / 249 » Complexity reduction of C-Algorithm |
196
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper, we propose a novel type of explicit image filter - guided filter. Derived from a local linear model, the guided filter generates the filtering output b...
131
click to vote
COMPGEOM
2010
ACM
15 years 6 months ago
2010
ACM
A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show that it is NP-hard to compute the crossing number of near-planar graphs. The main idea ...
KESAMSTA
2010
Springer
15 years 6 months ago
2010
Springer
The first trial of using the symmetry analysis method in modeling of behavior of complex social system is presented in this work. The evacuation of large building scenarios are d...
117
click to vote
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...
SPIN
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...