4666 search results - page 688 / 934 » Equations on Timed Languages |
154
click to vote
MFCS
2005
Springer
15 years 10 months 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...
150
click to vote
OTM
2005
Springer
15 years 10 months 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 ...
162
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This research proposes an adaptive mechanism of information visualizing that responds to context changes in knowledge-intensive work. A framework of Context-Sensitive Vis...
186
click to vote
AACC
2004
Springer
15 years 10 months ago
2004
Springer
Conventional document search techniques are constrained by attempting to match individual keywords or phrases to source documents. Thus, these techniques miss out documents that co...
126
click to vote
ADAEUROPE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...