119 search results - page 8 / 24 » Reasoning about Lists via List Interleaving |
TPHOL
2005
IEEE
15 years 4 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
NAR
2000
14 years 10 months ago
2000
REBASE is a comprehensive database of information about restriction enzymes and their associated methylases, including their recognition and cleavage sites and their commercial av...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Advancing our knowledge about cues to deception is crucial to successful deception detection. A lengthy list of cues to deception has been identified via a myriad of deception stu...
ACSAC
2000
IEEE
15 years 2 months ago
2000
IEEE
Current Web technologies use access control lists (ACLs) for enforcing regulations and practices governing businesses today. Having the policy hard-coded into ACLs causes manageme...
80
Voted
EMNLP
2008
14 years 11 months ago
2008
Automatic processing of medical dictations poses a significant challenge. We approach the problem by introducing a statistical framework capable of identifying types and boundarie...