7109 search results - page 13 / 1422 » Process Algebra with Combinators |
115
click to vote
DLOG
2001
15 years 1 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
ECBS
2005
IEEE
15 years 5 months ago
2005
IEEE
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
COSIT
1999
Springer
15 years 4 months ago
1999
Springer
COMPASS
1995
15 years 3 months ago
1995