Sciweavers

2944 search results - page 467 / 589
» Robust Semantic Construction
Sort
View
SIAMSC
2008
134views more  SIAMSC 2008»
15 years 5 months ago
Efficient Solution of Anisotropic Lattice Equations by the Recovery Method
In a recent paper, the authors introduced the recovery method resp. local energy matching principle for solving large systems of lattice equations. The idea is to construct a part...
Ivo Babuska, S. A. Sauter
ICFEM
2010
Springer
15 years 4 months ago
Making the Right Cut in Model Checking Data-Intensive Timed Systems
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
Rüdiger Ehlers, Michael Gerke 0002, Hans-J&ou...
170
Voted
ICONIP
2010
15 years 4 months ago
A New Framework for Small Sample Size Face Recognition Based on Weighted Multiple Decision Templates
In this paper a holistic method and a local method based on decision template ensemble are investigated. In addition by combining both methods, a new hybrid method for boosting the...
Mohammad Sajjad Ghaemi, Saeed Masoudnia, Reza Ebra...
MICS
2010
94views more  MICS 2010»
15 years 4 months ago
Arrangements on Parametric Surfaces I: General Framework and Infrastructure
We introduce a framework for the construction, maintenance, and manipulation of arrangements of curves embedded on certain two-dimensional orientable parametric surfaces in three-d...
Eric Berberich, Efi Fogel, Dan Halperin, Kurt Mehl...
MVA
2010
254views Computer Vision» more  MVA 2010»
15 years 4 months ago
Gamma/X-ray linear pushbroom stereo for 3D cargo inspection
For evaluating the contents of trucks, containers, cargo, and passenger vehicles by a non-intrusive gamma-ray or X-ray imaging system to determine the possible presence of contrab...
Zhigang Zhu, Yu-Chi Hu, Li Zhao