366 search results - page 6 / 74 » Synthesis: Words and Traces |
115
click to vote
TCS
1998
14 years 11 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...
81
Voted
COLING
2002
14 years 11 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...
103
Voted
LATIN
2004
Springer
15 years 5 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...
118
Voted
SIP
2003
15 years 29 days 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...
107
click to vote
ITS
2004
Springer
15 years 5 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...