7289 search results - page 17 / 1458 » A Dependent Set Theory |
CONCUR
2012
Springer
11 years 10 months ago
2012
Springer
CAV
1999
Springer
14 years 2 days ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
ENTCS
2008
13 years 7 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
CVPR
1996
IEEE
13 years 12 months ago
1996
IEEE
The appearance of a particular object depends on both the viewpoint from which it is observed and the light sources by which it is illuminated. If the appearance of two objects is...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
The discovery of subsets with special properties from binary data has been one of the key themes in pattern discovery. Pattern classes such as frequent itemsets stress the co-occu...