2291 search results - page 235 / 459 » Representational Reasoning and Verification |
127
click to vote
ICCBR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
102
click to vote
LICS
1996
IEEE
15 years 4 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
147
Voted
DKE
2008
15 years 24 days ago
2008
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
114
Voted
JAIR
2008
15 years 21 days ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
AI
2004
Springer
15 years 18 days ago
2004
Springer
A version space is a collection of concepts consistent with a given set of positive and negative examples. Mitchell [Mit82] proposed representing a version space by its boundary s...