9067 search results - page 526 / 1814 » Adaptive Model Checking |
203
Voted
CRYPTO
1991
Springer
15 years 10 months ago
1991
Springer
Recent results in interactive proof systems [?][?] [?] seem to indicate that it is easier for a prover in a single prover interactive proof system to cheat the verifier than it i...
152
Voted
MKWI
2008
15 years 8 months ago
2008
: The configuration of the collaboration environment has a significant influence on the development and the use of a collaboration tool. During the development process an optimal a...
203
click to vote
ACL
1998
15 years 8 months ago
1998
Most traditional approaches to anaphora resolution rely heavily on linguistic and domain knowledge. One of the disadvantages of developing a knowledgebased system, however, is tha...
184
click to vote
AAAI
1990
15 years 8 months ago
1990
A formal equivalence between propositional expert systems and decision tables is proved, and a practicable procedure given to perform the transformation between propositional expe...
206
click to vote
WCE
2007
15 years 8 months ago
2007
— This paper proposes a personalized web-based system with evolving automatic indexing that may be used in multimedia courses. Instructors may use the system to create and delive...