9359 search results - page 25 / 1872 » Generalization Algorithms for Second-Order Terms |
AAAI
1998
15 years 1 months ago
1998
RecentlyFtwo new backtracking algorithmsF dynamic backtracking (DB)and partial order dynamicbacktracking (PDB) have been presented. These algorithms have the property to be additi...
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Many systems employ caches to improve performance. While isolated caches have been studied in-depth, multicache systems are not well understood, especially in networks w...
119
click to vote
CORR
2012
Springer
13 years 7 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
224
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
CIKM
2006
Springer
15 years 3 months ago
2006
Springer
This poster paper summarizes our solution for mining max frequent generalized itemsets (g-itemsets), a compact representation for frequent patterns in the generalized environment....