Sciweavers

2057 search results - page 136 / 412
» Quadratic placement using an improved timing model
Sort
View
ADBIS
2006
Springer
93views Database» more  ADBIS 2006»
16 years 13 days ago
An On-Line Reorganization Framework for SAN File Systems
While the cost per megabyte of magnetic disk storage is economical, organizations are alarmed by the increasing cost of managing storage. Storage Area Network (SAN) architectures ...
Shahram Ghandeharizadeh, Shan Gao, Chris Gahagan, ...
BILDMED
2004
204views Algorithms» more  BILDMED 2004»
15 years 7 months ago
Topologically Correct Extraction of the Cortical Surface of a Brain Using Level-Set Methods
In this paper we present a level-set framework for accurate and efficient extraction of the surface of a brain from MRI data. To prevent the so-called partial volume effect we use ...
Stephan Bischoff, Leif Kobbelt
RISE
2004
Springer
15 years 11 months ago
A Symbolic Model Checker for tccp Programs
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
María Alpuente, Moreno Falaschi, Alicia Vil...
ICMCS
2006
IEEE
129views Multimedia» more  ICMCS 2006»
16 years 14 days ago
Speaker Identification using a Microphone Array and a Joint HMM with Speech Spectrum and Angle of Arrival
In this paper, we present a speaker identification algorithm for a microphone array based on a first-order joint Hidden Markov Model (HMM) where the observations correspond to t...
Jack W. Stokes, John C. Platt, Sumit Basu
WSC
1998
15 years 7 months ago
Effective Simulation Model Reuse: a case study for AMHS modeling
The application of simulation as a performance estimation tool in automated material handling system design is well documented, as is the amount of time required to build, debug, ...
Gerald T. Mackulak, Frederick P. Lawrence, Theron ...