1547 search results - page 130 / 310 » The Isabelle Collections Framework |
104
click to vote
FLAIRS
1998
15 years 5 months ago
1998
Many techniques of finding possible diagnoses of faulty technical systems involve two sequential steps. First compute the collection of all minimal conflict sets, then transform t...
131
click to vote
IJLT
2007
15 years 4 months ago
2007
: Differentiated instruction is an approach to teaching that acknowledges people have multiple paths for learning and for making sense of ideas. In e-learning, differentiated instr...
105
click to vote
ANSOFT
1999
15 years 3 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
136
Voted
ACL
2010
15 years 2 months ago
2010
This paper presents a general-purpose open source package for recognizing Textual Entailment. The system implements a collection of algorithms, providing a configurable framework ...
116
click to vote
ACL
2010
15 years 2 months ago
2010
We present a novel framework for word alignment that incorporates synonym knowledge collected from monolingual linguistic resources in a bilingual probabilistic model. Synonym inf...