Sciweavers

1940 search results - page 105 / 388
» Eurostore - Initial Design and First Results
Sort
View
STACS
2010
Springer
16 years 1 months ago
Construction Sequences and Certifying 3-Connectedness
Given two 3-connected graphs G and H, a construction sequence constructs G from H (e. g. from the K4) with three basic operations, called the Barnette-Grünbaum operations. These...
Jens M. Schmidt
CHI
2010
ACM
16 years 1 months ago
Pico-ing into the future of mobile projector phones
Ten years ago we were on the verge of having cameras built into our mobile phones, but knew very little about what to expect or how they would be used. Now we are faced with the s...
Max L. Wilson, Simon Robinson, Dan Craggs, Kristia...
ICTAI
2009
IEEE
16 years 29 days ago
Learning in Local Search
In this paper a learning based local search approach for propositional satisfiability is presented. It is based on an original adaptation of the conflict driven clause learning ...
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazu...
EMMCVPR
2009
Springer
16 years 26 days ago
Complementary Optic Flow
We introduce the concept of complementarity between data and smoothness term in modern variational optic flow methods. First we design a sophisticated data term that incorporates ...
Henning Zimmer, Andrés Bruhn, Joachim Weick...
PRIB
2009
Springer
113views Bioinformatics» more  PRIB 2009»
16 years 25 days ago
c-GAMMA: Comparative Genome Analysis of Molecular Markers
Discovery of molecular markers for efficient identification of living organisms remains a challenge of high interest. The diversity of species can now be observed in details with ...
Pierre Peterlongo, Jacques Nicolas, Dominique Lave...