11066 search results - page 1881 / 2214 » Linearity in Process Languages |
173
click to vote
IJSWIS
2007
15 years 6 months ago
2007
In this paper, we present MELIS (Meaning Elicitation and Lexical Integration System), a method and a software tool for enabling an incremental process of automatic annotation of lo...
183
click to vote
TSE
2008
15 years 6 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
210
click to vote
COGSCI
2004
15 years 6 months ago
2004
When people engage in conversation, they tailor their utterances to their conversational partners, whether these partners are other humans or computational systems. This tailoring...
165
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
A shared visual workspace is one where multiple people can see the same objects at roughly the same time. We present findings from an experiment investigating the effects of share...
197
click to vote
INFSOF
2000
15 years 6 months ago
2000
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...