2766 search results - page 182 / 554 » Hybridizing a Logical Framework |
134
Voted
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
When labelled training data is plentiful, discriminative techniques are widely used since they give excellent generalization performance. However, for large-scale applications suc...
172
click to vote
UAI
2000
15 years 5 months ago
2000
The growth of Internet commerce has stimulated the use of collaborative filtering (CF) algorithms as recommender systems. Such systems leverage knowledge about the known preferenc...
139
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
Recognition of complex activities from surveillance video requires detection and temporal ordering of its constituent "atomic" events. It also requires the capacity to ro...
159
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
128
Voted
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...