1456 search results - page 139 / 292 » A search quality evaluation based on objective-subjective me... |
198
click to vote
AUSAI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The RGCP (Robust Graph Coloring problem) is a new variant of the traditional graph coloring problem. It has numerous practical applications in real world like timetabling...
164
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
160
click to vote
AIME
2005
Springer
16 years 1 days ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
159
click to vote
IJCNLP
2005
Springer
16 years 4 hour ago
2005
Springer
This paper presents a lightweight method for unsupervised extraction of paraphrases from arbitrary textual Web documents. The method differs from previous approaches to paraphrase...
188
click to vote
MIA
2010
15 years 1 months ago
2010
We propose a framework for intensity-based registration of images by linear transformations, based on a discrete Markov Random Field (MRF) formulation. Here, the challenge arises ...