1284 search results - page 10 / 257 » On Helping and Interactive Proof Systems |
TREC
1994
13 years 8 months ago
1994
Full-text scanning oers signi cant advantages over other methods of document retrieval but is normally too slow for use on large collections. The Fujitsu AP1000 parallel distribut...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
CADE
2004
Springer
14 years 7 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
NAACL
2007
13 years 9 months ago
2007
Information retrieval systems are frequently required to handle long queries. Simply using all terms in the query or relying on the underlying retrieval model to appropriately wei...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
A web based system is described for the delivery of evidence-based behavioral interventions in the home for a variety of mental health problems in children. The goal of the interv...