115 search results - page 2 / 23 » A comparative study of popular interpolation and integration... |
ICML
2004
IEEE
14 years 6 months ago
2004
IEEE
Hill-climbing search is the most commonly used search algorithm in ILP systems because it permits the generation of theories in short running times. However, a well known drawback...
ICPR
2008
IEEE
14 years 6 months ago
2008
IEEE
Cancelable biometric systems are gaining in popularity for use in person authentication for applications where the privacy and security of biometric templates are important consid...
CAV
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
SIGOPS
2008
13 years 5 months ago
2008
Many scientific applications use parallel I/O to meet the low latency and high bandwidth I/O requirement. Among many available parallel I/O operations, collective I/O is one of th...
ICIP
2003
IEEE
14 years 6 months ago
2003
IEEE
Dueto diffuse nature of lightphotons, Diffuse Optical Tomography (DOT) image reconstruction is a challenging 3D problem with a relatively large number of unknowns and limited meas...