700 search results - page 78 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
115
click to vote
ICTAI
2007
IEEE
15 years 8 months ago
2007
IEEE
The goal of Semantic Web research is to transform the Web from a linked document repository into a distributed knowledge base and application platform, thus allowing the vast rang...
114
Voted
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...
114
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
ENTCS
2002
15 years 1 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...