Sciweavers

3630 search results - page 363 / 726
» Fast Marching Methods
Sort
View
ISOLA
2010
Springer
15 years 3 months ago
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
Steffen Kollmann, Victor Pollex, Kilian Kempf, Fra...
ISSE
2010
15 years 3 months ago
An approach to applying SOFL for agile process and its application in developing a test support tool
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
Shaoying Liu
PCM
2010
Springer
179views Multimedia» more  PCM 2010»
15 years 3 months ago
3D Similarity Search Using a Weighted Structural Histogram Representation
A fast and robust 3D retrieval method is proposed based on a novel weighted structural histogram representation. Our method has the following steps: 1) adaptively segment any 3D sh...
Tong Lu, Rongjun Gao, Tuantuan Wang, Yubin Yang
SIAMSC
2010
157views more  SIAMSC 2010»
15 years 3 months ago
Adaptive Time-Stepping for Incompressible Flow Part II: Navier--Stokes Equations
We outline a new class of robust and efficient methods for solving the Navier– Stokes equations. We describe a general solution strategy that has two basic building blocks: an im...
David A. Kay, Philip M. Gresho, David F. Griffiths...
BMVC
2010
15 years 3 months ago
Generalized Descriptor Compression for Storage and Matching
Smarter phones have made handheld computer vision a reality, but limited bandwidth, storage space and processing power prevent mobile phones from leveraging the full body of exist...
Matthew Johnson