366 search results - page 6 / 74 » Synthesis: Words and Traces |
TCS
1998
13 years 8 months ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
COLING
2002
13 years 8 months ago
2002
We propose a method "Interactive Paraphrasing" which enables users to interactively paraphrase words in a document by their definitions, making use of syntactic annotati...
LATIN
2004
Springer
14 years 1 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
SIP
2003
13 years 9 months ago
2003
In this paper we propose a new, interactive technique for the segmentation of elongated structures in images. It is based on the so-called live-wire segmentation paradigm and uses...
ITS
2004
Springer
14 years 1 months ago
2004
Springer
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...