Sciweavers

6575 search results - page 357 / 1315
» Specializing visualization algorithms
Sort
View
CGF
2010
139views more  CGF 2010»
15 years 1 months ago
Visualization of Large-Scale Urban Models through Multi-Level Relief Impostors
In this paper, we present an efficient approach for the interactive rendering of large-scale urban models, which can be integrated seamlessly with virtual globe applications. Our ...
Carlos Andújar, Pere Brunet, Antoni Chica, ...
185
Voted
ICCV
2005
IEEE
16 years 8 months ago
A New Framework for Approximate Labeling via Graph Cuts
A new framework is presented that uses tools from duality theory of linear programming to derive graph-cut based combinatorial algorithms for approximating NP-hard classification ...
Nikos Komodakis, Georgios Tziritas
TIME
2007
IEEE
16 years 1 months ago
A Symbolic Decision Procedure for Robust Safety of Timed Systems
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
Mani Swaminathan, Martin Fränzle
AAIM
2006
Springer
222views Algorithms» more  AAIM 2006»
16 years 22 days ago
Connected Set Cover Problem and Its Applications
Abstract. We study an extension of the set cover problem, the connected set cover problem, the problem is to find a set cover of minimal size that satisfies some connectivity con...
Tianping Shuai, Xiao-Dong Hu
CEC
2005
IEEE
16 years 11 days ago
Real-parameter optimization using the mutation step co-evolution
Abstract- An evolutionary algorithm for the optimization of a function with real parameters is described in this paper. It uses a cooperative co-evolution to breed and reproduce su...
Petr Posik