Sciweavers

3128 search results - page 193 / 626
» Finite element method
Sort
View
SMILE
2000
Springer
15 years 7 months ago
Volumetric Warping for Voxel Coloring on an Infinite Domain
Starting with a set of calibrated photographs taken of a scene, voxel coloring algorithms reconstruct three-dimensional surface models on a finite spatial domain. In this paper, we...
Gregory G. Slabaugh, Thomas Malzbender, W. Bruce C...
FORTE
2004
15 years 5 months ago
Formal Verification of Web Applications Modeled by Communicating Automata
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui
168
Voted
NAACL
2010
15 years 1 months ago
Formatting Time-Aligned ASR Transcripts for Readability
We address the problem of formatting the output of an automatic speech recognition (ASR) system for readability, while preserving wordlevel timing information of the transcript. O...
Maria Shugrina
124
Voted
IJCGA
2000
72views more  IJCGA 2000»
15 years 3 months ago
Quadrilateral Meshing by Circle Packing
We use circle-packing methods to generate quadrilateral meshes for polygonal domains, with guaranteed bounds both on the quality and the number of elements. We show that these met...
Marshall W. Bern, David Eppstein
SIAMSC
2010
104views more  SIAMSC 2010»
15 years 2 months ago
A New Sobolev Gradient Method for Direct Minimization of the Gross--Pitaevskii Energy with Rotation
Abstract. In this paper we improve traditional steepest descent methods for the direct minimization of the Gross-Pitaevskii (GP) energy with rotation at two levels. We first defi...
Ionut Danaila, Parimah Kazemi