1438 search results - page 113 / 288 » An Expressive Extension of TLC |
106
Voted
OWLED
2008
15 years 2 months ago
2008
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...
96
Voted
PLANX
2008
15 years 2 months ago
2008
Motivated by previous work on XML stream processing, we noticed that programmers need concurrency to save space, especially in a lazy language. User-controllable concurrency provi...
116
Voted
DEXA
2010
Springer
15 years 1 months ago
2010
Springer
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
118
Voted
FGR
2008
IEEE
15 years 29 days ago
2008
IEEE
Although facial features are considered to be essential for humans to understand sign language, no prior research work has yet examined their significance for automatic sign langu...
106
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
We prove several decidability and undecidability results for -PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability of...