1341 search results - page 95 / 269 » Dynamic Testimonial Logic |
AAAI
2006
13 years 10 months ago
2006
A novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates the well-known inductive logic programming system FO...
ENTCS
2006
13 years 9 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
ICDE
2012
IEEE
11 years 11 months ago
2012
IEEE
—A facility for merging equivalent data streams can support multiple capabilities in a data stream management system (DSMS), such as query-plan switching and high availability. O...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
HPCA
2004
IEEE
14 years 9 months ago
2004
IEEE
For highest performance, a modern microprocessor must be able to determine if an instruction is ready in the same cycle in which it is to be selected for execution. This creates a...