Sciweavers

4581 search results - page 568 / 917
» Computing Transformation Semigroups
Sort
View
189
Voted
ENTCS
2008
150views more  ENTCS 2008»
15 years 6 months ago
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming
Defence trees are used to represent attack and defence strategies in security scenarios; the aim in such scenarios is to select the best set of countermeasures that are able to st...
Stefano Bistarelli, Pamela Peretti, Irina Trubitsy...
ENTCS
2008
106views more  ENTCS 2008»
15 years 6 months ago
Towards a Sharing Strategy for the Graph Rewriting Calculus
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, C...
EOR
2008
200views more  EOR 2008»
15 years 6 months ago
General variable neighborhood search for the continuous optimization
We suggest a new heuristic for solving unconstrained continuous optimization problems. It is based on a generalized version of the variable neighborhood search metaheuristic. Diff...
Nenad Mladenovic, Milan Drazic, Vera Kovacevic-Vuj...
IPM
2008
133views more  IPM 2008»
15 years 6 months ago
Hierarchical summarization for delivering information to mobile devices
Access to information via handheld devices supports decision making away from one's computer. However, limitations include small screens and constrained wireless bandwidth. W...
Jahna Otterbacher, Dragomir R. Radev, Omer Kareem
170
Voted
IJCV
2006
142views more  IJCV 2006»
15 years 6 months ago
Geometry and Convergence Analysis of Algorithms for Registration of 3D Shapes
The computation of a rigid body transformation which optimally aligns a set of measurement points with a surface and related registration problems are studied from the viewpoint o...
Helmut Pottmann, Qi-Xing Huang, Yong-Liang Yang, S...