3653 search results - page 482 / 731 » On Recognizable Timed Languages |
168
click to vote
ICCS
2005
Springer
16 years 3 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...
158
click to vote
ICESS
2005
Springer
16 years 3 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...
140
click to vote
INTETAIN
2005
Springer
16 years 3 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...
193
click to vote
MFCS
2005
Springer
16 years 3 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...
187
Voted
OTM
2005
Springer
16 years 2 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 ...