Sciweavers

495 search results - page 22 / 99
» Improving the Boosted Correlogram
Sort
View
110
Voted
SARA
2007
Springer
15 years 10 months ago
Boosting MUS Extraction
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
Santiago Macho González, Pedro Meseguer
137
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
Exploiting Parallelism to Boost Data-Path Rate in High-Speed IP/MPLS Networking
Abstract—Link bundling is a way to increase routing scalability whenever a pair of Label Switching Routers in MPLS are connected by multiple parallel links. However, link bundlin...
Indra Widjaja, Anwar Elwalid
128
Voted
AIME
2001
Springer
15 years 8 months ago
Using Part-of-Speech and Word-Sense Disambiguation for Boosting String-Edit Distance Spelling Correction
Abstract. We report on the design of a system for correcting spelling errors resulting in non-existent words. The system aims at improving edition of medical reports. Unlike tradit...
Patrick Ruch, Robert H. Baud, Antoine Geissbü...
143
Voted
FMCAD
2007
Springer
15 years 7 months ago
Boosting Verification by Automatic Tuning of Decision Procedures
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan ...
126
Voted
CONSTRAINTS
2008
78views more  CONSTRAINTS 2008»
15 years 3 months ago
Boosting Haplotype Inference with Local Search
Abstract. A very challenging problem in the genetics domain is to infer haplotypes from genotypes. This process is expected to identify genes affecting health, disease and response...
Inês Lynce, João Marques-Silva, Steve...