13306 search results - page 421 / 2662 » Theoretical Computer Science |
167
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
143
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
We show that the marked version of the Post Correspondence Problem, where the words on a list are required to di er in the rst letter, is decidable. On the other hand, PCP remains ...
186
click to vote
DIS
1998
Springer
15 years 11 months ago
1998
Springer
We introduce a new bias for rule learning systems. The bias only allows a rule learner to create a rule that predicts class membership if each test of the rule in isolation is pred...
135
click to vote
DIS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Waka is a form of traditional Japanese poetry with a 1300year history. In this paper, we attempt to discover characteristics common to a collection of waka poems. As a fo...
196
click to vote
DRUMS
1998
Springer
15 years 11 months ago
1998
Springer
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...