4036 search results - page 427 / 808 » Formal Methods |
194
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
173
Voted
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
In recent years, a number of projects have turned to Wikipedia to establish large-scale taxonomies that describe orders of magnitude more entities than traditional manually built ...
247
click to vote
WWW
2010
ACM
15 years 5 months ago
2010
ACM
With the enormous and still growing amount of data and user interaction on the Web, it becomes more and more necessary for data consumers to be able to assess the trustworthiness ...
216
Voted
WWW
2011
ACM
15 years 1 months ago
2011
ACM
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...
188
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...