Sciweavers

5564 search results - page 428 / 1113
» Performance Modeling of HPC Applications
Sort
View
NIPS
2008
15 years 7 months ago
Estimating Robust Query Models with Convex Optimization
Query expansion is a long-studied approach for improving retrieval effectiveness by enhancing the user's original query with additional related words. Current algorithms for ...
Kevyn Collins-Thompson
PTS
2008
152views Hardware» more  PTS 2008»
15 years 7 months ago
Model-Based Testing Service on the Web
Abstract. Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in indu...
Antti Jääskeläinen, Mika Katara, An...
148
Voted
MVA
1990
139views Computer Vision» more  MVA 1990»
15 years 7 months ago
Generation of 3-D Models Based on Image Fusion of Range Data
This paper presents a method for measuringthe entire three dimensional (3D) shape of object, which is applicable for 3D digitizing into a solid modeling CAD. The method measures t...
Yasuo Sakaguchi, Hirokazu Kato, Kosuke Sato, Seiji...
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 6 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
159
Voted
TCSV
2008
153views more  TCSV 2008»
15 years 6 months ago
Broadcast Court-Net Sports Video Analysis Using Fast 3-D Camera Modeling
This paper addresses the automatic analysis of court-net sports video content. We extract information about the players, the playing-field in a bottom-up way until we reach scene-l...
Jungong Han, Dirk Farin, Peter H. N. de With