553 search results - page 28 / 111 » Learning Meets Verification |
ICCD
2000
IEEE
14 years 1 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
DEXAW
2008
IEEE
13 years 11 months ago
2008
IEEE
In an authorship verification problem one is given writing examples from an author A, and one is asked to determine whether or not each text in fact was written by A. In a more ge...
MLMI
2007
Springer
14 years 4 months ago
2007
Springer
This paper explores the issue of term-weighting in the genre of spontaneous, multi-party spoken dialogues, with the intent of using such term-weights in the creation of extractive ...
ICIAR
2005
Springer
14 years 3 months ago
2005
Springer
A neglected challenge in existing e-Learning (eL) systems is providing access to multimedia to all users regardless of environmental conditions such as diverse device capabilities,...
DT
2000
13 years 9 months ago
2000
Research on practical design verification techniques has long been impeded by the lack of published and yet detailed error data. Over the last few years we have systematically coll...