700 search results - page 45 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
102
click to vote
ASWC
2009
Springer
15 years 2 months ago
2009
Springer
Aggregating and presenting a wide variety of information pertinent to the biological and pharmacological effects of chemical compounds will be a critical part of 21st century drug ...
131
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Continuous testing uses excess cycles on a developer’s workstation to continuously run regression tests in the background, providing rapid feedback about test failures as source...
175
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
117
click to vote
ICSE
1989
IEEE-ACM
15 years 5 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
107
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...