3653 search results - page 482 / 731 » On Recognizable Timed Languages |
191
click to vote
ICCS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
190
click to vote
ICESS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
165
click to vote
INTETAIN
2005
Springer
16 years 23 days ago
2005
Springer
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...
213
click to vote
MFCS
2005
Springer
16 years 23 days ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...
221
click to vote
OTM
2005
Springer
16 years 23 days ago
2005
Springer
RDF has been proposed by W3C as a metadata model and language for representing information about resources in WWW. In this paper we introduce Multidimensional RDF (or MRDF), as an ...