1623 search results - page 127 / 325 » No Sorting |
126
click to vote
APAL
1999
15 years 4 months ago
1999
We give a sound and complete propositional S5 tableau system of a particularly simple sort, having an easy completeness proof. It sheds light on why the satisfiability problem for...
151
click to vote
ISCI
2002
15 years 4 months ago
2002
Tangible Interfaces for Collaborative Learning Environments (TICLE) explores new ways that multimedia can enhance education without becoming the focus of the educational experienc...
126
click to vote
LOGCOM
1998
15 years 4 months ago
1998
A sequent calculus of a new sort is extracted from the Prolog program leanTAP. This calculus is sound and complete, even though it lacks almost all structural rules. Thinking of l...
123
click to vote
SEAL
2010
Springer
15 years 3 months ago
2010
Springer
During engineering design, it is often difficult to quantify product reliability because of insufficient data or information for modeling the uncertainties. In such cases, one need...
128
click to vote
EMNLP
2010
15 years 2 months ago
2010
This paper presents a method for the automatic discovery of MANNER relations from text. An extended definition of MANNER is proposed, including restrictions on the sorts of concep...