Sciweavers

373 search results - page 56 / 75
» On the Iterated Hairpin Completion
Sort
View
AIPS
2009
13 years 8 months ago
Dynamic Controllability of Temporally-flexible Reactive Programs
In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs w...
Robert T. Effinger, Brian C. Williams, Gerard Kell...

Publication
241views
13 years 8 months ago
Fast and Automatic Object Pose Estimation for Range Images on the GPU
We present a pose estimation method for rigid objects from single range images. Using 3D models of the objects, many pose hypotheses are compared in a data-parallel version of t...
In Kyu Park, Marcel Germann, Michael D. Breitenste...
CPHYSICS
2008
97views more  CPHYSICS 2008»
13 years 7 months ago
2D fluid modeling of the ASDEX upgrade scrape-off layer up to the first wall
We present an application to the full ASDEX Upgrade edge plasma of a novel method for 2D fluid modeling, including for the first time a realistic representation of the First Wall....
F. Subba, Xavier Bonnin, David Coster, R. Zanino
CG
2006
Springer
13 years 7 months ago
Shape reasoning and understanding
s: clustering, denoising, sharp feature, shape abstraction, reverse engineering In this paper we describe a hierarchical face clustering algorithm for triangle meshes based on fit...
Bianca Falcidieno, Remco C. Veltkamp
COMBINATORICA
2007
148views more  COMBINATORICA 2007»
13 years 7 months ago
Colored graphs without colorful cycles
A colored graph is a complete graph in which a color has been assigned to each edge, and a colorful cycle is a cycle in which each edge has a different color. We first show that ...
Richard N. Ball, Ales Pultr, Petr Vojtechovsk&yacu...