1573 search results - page 129 / 315 » Signs and Formal Concepts |
101
click to vote
ASIAN
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
SYNTHESE
2010
15 years 9 days ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
105
click to vote
AUSDM
2007
Springer
15 years 8 months ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...
114
click to vote
WISE
2003
Springer
15 years 7 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
LREC
2010
15 years 3 months ago
2010
LT World (www.lt-world.org) is an ontology-driven web portal aimed at serving the global language technology community. Ontology-driven means, that the system is driven by an onto...