4622 search results - page 337 / 925 » Foundations of Information Theory |
195
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
178
click to vote
ICML
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe CLIPS-R, a theory revision system for the revision of CLIPS rule-bases. CLIPS-R differs from previous theory revision systems in that it operates on forward chaining p...
211
click to vote
IIR
2010
15 years 8 months ago
2010
In this work, we summarise the development of a ranking principle based on quantum probability theory, called the Quantum Probability Ranking Principle (QPRP), and we also provide...
161
click to vote
ACL
2004
15 years 8 months ago
2004
This paper describes an algorithm for detecting empty nodes in the Penn Treebank (Marcus et al., 1993), finding their antecedents, and assigning them function tags, without access...
192
click to vote
ENGL
2008
15 years 7 months ago
2008
For lifestyle-related disease caused by recent change of eating habits in Japan, this paper proposes a menu planning method using rough set theory, and it can satisfy each individu...