967 search results - page 29 / 194 » Probabilistic Predicative Programming |
113
click to vote
EPIA
2009
Springer
15 years 8 months ago
2009
Springer
Inductive Logic Programming (ILP) [1] systems are general purpose learners that have had significant success on solving a number of relational problems, particularly from the biol...
114
click to vote
SBBD
2003
15 years 3 months ago
2003
A common requirement of many scientific applications is the ability to process queries involving expensive predicates corresponding to user programs. Optimizing such queries is ha...
111
click to vote
ISCA
1998
IEEE
15 years 6 months ago
1998
IEEE
Explicitly Parallel Instruction Computing (EPIC) architectures require the compiler to express program instruction level parallelism directly to the hardware. EPIC techniques whic...
102
click to vote
ECR
2006
15 years 2 months ago
2006
Within the software industry software piracy is a great concern. In this article we address this issue through a prevention technique called software watermarking. Depending on ho...
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...