3793 search results - page 335 / 759 » Expressive Description Logics |
217
click to vote
SBBD
2004
15 years 8 months ago
2004
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting sequen...
189
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
240
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
XQuery is considered to become the standard query language for XML documents. However, the complete XQuery syntax and semantics seem too complicated for research and educational p...
148
click to vote
MEMOCODE
2005
IEEE
16 years 11 days ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
182
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expr...