Sciweavers

29143 search results - page 5544 / 5829
» A Sortation System Model
Sort
View
ALGORITHMICA
2005
84views more  ALGORITHMICA 2005»
15 years 6 months ago
Optimal Read-Once Parallel Disk Scheduling
An optimal prefetching and I/O scheduling algorithm L-OPT, for parallel I/O systems, using a read-once model of block references is presented. The algorithm uses knowledge of the n...
Mahesh Kallahalla, Peter J. Varman
TCS
2008
15 years 6 months ago
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
Jean-François Dufourd
TIP
2008
86views more  TIP 2008»
15 years 6 months ago
Learning the Dynamics and Time-Recursive Boundary Detection of Deformable Objects
We propose a principled framework for recursively segmenting deformable objects across a sequence of frames. We demonstrate the usefulness of this method on left ventricular segmen...
Walter Sun, Müjdat Çetin, Raymond C. C...
JCC
2007
131views more  JCC 2007»
15 years 6 months ago
An extended dead-end elimination algorithm to determine gap-free lists of low energy states
: Proteins are flexible systems and commonly populate several functionally important states. To understand protein function, these states and their energies have to be identified...
Edda Kloppmann, G. Matthias Ullmann, Torsten Becke...
TOG
2008
235views more  TOG 2008»
15 years 6 months ago
Articulated mesh animation from multi-view silhouettes
Details in mesh animations are difficult to generate but they have great impact on visual quality. In this work, we demonstrate a practical software system for capturing such deta...
Daniel Vlasic, Ilya Baran, Wojciech Matusik, Jovan...
« Prev « First page 5544 / 5829 Last » Next »