496 search results - page 60 / 100 » Practical Reasoning for Very Expressive Description Logics |
190
click to vote
ICNP
2006
IEEE
16 years 21 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
207
Voted
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Inferring an appropriate DTD or XML Schema Definition (XSD) for a given collection of XML documents essentially reduces to learning deterministic regular expressions from sets of ...
171
click to vote
SEMWEB
2005
Springer
16 years 4 days ago
2005
Springer
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which...
201
Voted
PLILP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
176
click to vote
EWSA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...