1557 search results - page 26 / 312 » What can we do with a Solution |
ASWC
2009
Springer
14 years 2 months ago
2009
Springer
Understanding which ontology characteristics can predict a “good” quality ontology, is a core and ongoing task in the Semantic Web. In this paper, we provide our findings on wh...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
AE
2001
Springer
14 years 3 days ago
2001
Springer
This paper presents the evolving objects library (EOlib), an object-oriented framework for evolutionary computation (EC) that aims to provide a flexible set of classes to build EC...
CI
2002
13 years 7 months ago
2002
As online markets for the exchange of goods and services become more common, the study of markets composed at least in part of autonomous agents has taken on increasing importance...
ISEUD
2009
Springer
14 years 2 months ago
2009
Springer
End-user programming has become ubiquitous, so much so that there are more end-user programmers today than there are professional programmers. End-user programming empowers—but t...