Sciweavers

2556 search results - page 413 / 512
» The Triconnected Abstraction of Process Models
Sort
View
ACCV
2007
Springer
16 years 15 days ago
User-Guided Shape from Shading to Reconstruct Fine Details from a Single Photograph
Abstract. Many real objects, such as faces, sculptures, or low-reliefs are composed of many detailed parts that can not be easily modeled by an artist nor by 3D scanning. In this p...
Alexandre Meyer, Héctor M. Briceño, ...
ASIAN
2007
Springer
126views Algorithms» more  ASIAN 2007»
16 years 15 days ago
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
CLEAR
2007
Springer
134views Biometrics» more  CLEAR 2007»
16 years 14 days ago
The ICSI RT07s Speaker Diarization System
Abstract. In this paper, we present the ICSI speaker diarization system. This system was used in the 2007 National Institute of Standards and Technology (NIST) Rich Transcription e...
Chuck Wooters, Marijn Huijbregts
DNA
2007
Springer
159views Bioinformatics» more  DNA 2007»
16 years 14 days ago
Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
Urmi Majumder, Thomas H. LaBean, John H. Reif
ESA
2007
Springer
120views Algorithms» more  ESA 2007»
16 years 14 days ago
Evolutionary Equilibrium in Bayesian Routing Games: Specialization and Niche Formation
Abstract. In this paper we consider Nash Equilibria for the selfish routing model proposed in [12], where a set of n users with tasks of different size try to access m parallel l...
Petra Berenbrink, Oliver Schulte