1052 search results - page 67 / 211 » The Regular Real-Time Languages |
132
click to vote
ICTAC
2007
Springer
15 years 9 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
112
Voted
INFORMATICALT
2002
15 years 3 months ago
2002
In this paper we consider non-deterministic finite Rabin
130
click to vote
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
141
Voted
WCE
2007
15 years 4 months ago
2007
—This paper is concerned with the application of a conversational agent and expert system to provide a natural language interface to a database. Typically, natural language datab...
180
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...