Sciweavers

377 search results - page 42 / 76
» Application of heuristic methods for conformance test select...
Sort
View
JAIR
2010
131views more  JAIR 2010»
14 years 8 months ago
Automatic Induction of Bellman-Error Features for Probabilistic Planning
Domain-specific features are important in representing problem structure throughout machine learning and decision-theoretic planning. In planning, once state features are provide...
Jia-Hong Wu, Robert Givan
BMCBI
2008
134views more  BMCBI 2008»
14 years 10 months ago
Prediction of protein-protein binding site by using core interface residue and support vector machine
Background: The prediction of protein-protein binding site can provide structural annotation to the protein interaction data from proteomics studies. This is very important for th...
Nan Li, Zhonghua Sun, Fan Jiang
CF
2005
ACM
15 years 6 hour ago
Grid result checking
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
Cécile Germain-Renaud, Dephine Monnier-Raga...
DATE
2003
IEEE
99views Hardware» more  DATE 2003»
15 years 3 months ago
Fast Computation of Data Correlation Using BDDs
Data correlation is a well-known problem that causes difficulty in VLSI testing. Based on a correlation metric, an efficient heuristic to select BIST registers has been proposed...
Zhihong Zeng, Qiushuang Zhang, Ian G. Harris, Maci...
TSMC
2008
225views more  TSMC 2008»
14 years 10 months ago
Robust Methods for Geometric Primitive Recovery and Estimation From Range Images
We present a method for the recovery of partially occluded 3D geometric primitives from range images which might also include non-primitive objects. The method uses a technique for...
Irina Lavva, Eyal Hameiri, Ilan Shimshoni