1052 search results - page 135 / 211 » The Regular Real-Time Languages |
146
Voted
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
154
Voted
JIRS
2010
15 years 2 months ago
2010
Abstract Localization is a key issue for a mobile robot, in particular in environments where a globally accurate positioning system, such as GPS, is not available. In these environ...
144
Voted
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
119
Voted
IEEEMSP
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract—We present the query-by-description (QBD) component of “Kandem,” a time-aware music retrieval system. The QBD system we describe learns a relation between descriptiv...
118
Voted
MFCS
1998
Springer
15 years 8 months ago
1998
Springer
Recently the class of BPA (or context-free) processes has been intensively studied and bisimilarity and regularity appeared to be decidable (see [CHS95, BCS95, BCS96]). We extend t...