Sciweavers

133 search results - page 22 / 27
» A new approach to fuzzy goal programming
Sort
View
ML
2006
ACM
13 years 8 months ago
Gleaner: Creating ensembles of first-order clauses to improve recall-precision curves
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. A common way to measure performance in these domains is to use precision and recall i...
Mark Goadrich, Louis Oliphant, Jude W. Shavlik
ICIP
2010
IEEE
13 years 6 months ago
Robust segmentation of lung tissue in chest CT scanning
This paper deals with segmentation of the lung tissues from low dose CT (LDCT) scans of the chest. Goal is correct segmentation as well as maintaining the details of the lung regi...
Amal A. Farag, James Graham, Aly Farag
MICRO
2010
IEEE
170views Hardware» more  MICRO 2010»
13 years 6 months ago
Tolerating Concurrency Bugs Using Transactions as Lifeguards
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
Jie Yu, Satish Narayanasamy
SIGMOD
2010
ACM
215views Database» more  SIGMOD 2010»
14 years 9 days ago
Dynamic symbolic database application testing
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
Chengkai Li, Christoph Csallner
CORR
2000
Springer
144views Education» more  CORR 2000»
13 years 8 months ago
Sequence-Based Abstract Interpretation of Prolog
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...