3868 search results - page 235 / 774 » Open Systems in TLA |
168
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract--End-to-end connectivity is growing increasingly diverse, with orders of magnitude differences in characteristics throughout the network. At the same time, most applicatio...
221
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
181
click to vote
LREC
2008
15 years 8 months ago
2008
Regulus is an Open Source platform that supports construction of rule-based medium-vocabulary spoken dialogue applications. It has already been used to build several substantial s...
190
click to vote
MEDINFO
2007
15 years 8 months ago
2007
OpenEHR specifications have been developed to standardise the representation of an international electronic health record (EHR). The language used for querying EHR data is not as ...
195
click to vote
AIEDU
2007
15 years 7 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...