Sciweavers

1469 search results - page 144 / 294
» Map operations and k-orbit maps
Sort
View
LICS
2007
IEEE
14 years 4 months ago
A Contraction Method to Decide MSO Theories of Deterministic Trees
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
Angelo Montanari, Gabriele Puppis
PG
2007
IEEE
14 years 4 months ago
Exposure Fusion
We propose a technique for fusing a bracketed exposure sequence into a high quality image, without converting to HDR first. Skipping the physically-based HDR assembly step simpli...
Tom Mertens, Jan Kautz, Frank Van Reeth
WABI
2007
Springer
121views Bioinformatics» more  WABI 2007»
14 years 4 months ago
Seeded Tree Alignment and Planar Tanglegram Layout
The optimal transformation of one tree into another by means of elementary edit operations is an important algorithmic problem that has several interesting applications to computat...
Antoni Lozano, Ron Y. Pinter, Oleg Rokhlenko, Gabr...
EDOC
2006
IEEE
14 years 4 months ago
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
Ronan Barrett, Claus Pahl
ICRA
2006
IEEE
93views Robotics» more  ICRA 2006»
14 years 4 months ago
Using a Qualitative Sketch to Control a Team of Robots
– In this paper, we describe a prototype interface that facilitates the control of a mobile robot team by a single operator, using a sketch interface on a tablet PC. The user ske...
Marjorie Skubic, Derek Anderson, Samuel Blisard, D...