1544 search results - page 168 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
178
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
152
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
9 A two-level mixture linear dynamic system model, with frame-level switching parameters in the obser10 vation equation and with segment-level switching parameters in the target-d...
159
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a prosodic phrasing model for Korean to be used in a text-to-speech synthesis (TTS) system. Read text corpora were morpho-syntactically parsed and prosodically...
195
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
178
click to vote
TIME
2007
IEEE
16 years 22 days ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...