2519 search results - page 339 / 504 » Reasoning with Textual Cases |
180
click to vote
CADE
2007
Springer
16 years 21 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
191
click to vote
GI
2007
Springer
16 years 20 days ago
2007
Springer
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
183
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
192
click to vote
TARK
2007
Springer
16 years 18 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
185
click to vote
ICDM
2006
IEEE
16 years 17 days ago
2006
IEEE
Clustering is ill-defined. Unlike supervised learning where labels lead to crisp performance criteria such as accuracy and squared error, clustering quality depends on how the cl...