Sciweavers

5273 search results - page 682 / 1055
» Improving quality together
Sort
View
ECAI
2000
Springer
15 years 11 months ago
Similarity-based Approach to Relevance Learning
In several information retrieval (IR) systems there is a possibility for user feedback. Many machine learning methods have been proposed that learn from the feedback information in...
Rickard Cöster, Lars Asker
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 11 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
WACC
1999
ACM
15 years 11 months ago
Supporting the writing of reports in a hierarchical organization
In many hierarchical companies, reports from several independent groups must be merged to form a single, companywide report. This paper describes a process and system for creating...
Andreas Girgensohn
GIS
1998
ACM
15 years 11 months ago
Greedy Cuts: An Advancing Front Terrain Triangulation Algorithm
We apply an advancing front technique to the problem of simplification of dense digitized terrain models. While most simplification algorithms have been based on either incrementa...
Cláudio T. Silva, Joseph S. B. Mitchell
3DIM
2007
IEEE
15 years 10 months ago
Examplar-based Shape from Shading
Traditional Shape-from-Shading (SFS) techniques aim to solve an under-constrained problem: estimating depth map from one single image. The results are usually brittle from real im...
Xinyu Huang, Jizhou Gao, Liang Wang, Ruigang Yang