Sciweavers

26782 search results - page 102 / 5357
» The Importance of Importance
Sort
View
APAL
2005
117views more  APAL 2005»
15 years 6 months ago
About cut elimination for logics of common knowledge
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
Luca Alberucci, Gerhard Jäger
JCO
2007
76views more  JCO 2007»
15 years 6 months ago
Wide diameters of de Bruijn graphs
Abstract The wide diameter of a graph is an important parameter to measure faulttolerance of interconnection network. This paper proves that for any two vertices in de Bruijn undir...
Jyhmin Kuo, Hung-Lin Fu
APAL
2002
105views more  APAL 2002»
15 years 6 months ago
Saturated models of universal theories
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...
Jeremy Avigad
COLING
2002
15 years 6 months ago
NLP and IR Approaches to Monolingual and Multilingual Link Detection
This paper considers several important issues for monolingual and multilingual link detection. The experimental results show that nouns, verbs, adjectives and compound nouns are u...
Ying-Ju Chen, Hsin-Hsi Chen
JBCS
2002
100views more  JBCS 2002»
15 years 6 months ago
Using objects and patterns to implement domain ontologies
Ontologies are becoming an important mechanism to build information systems. Nevertheless, there is still no systematic approach to support the design of such systems using tools ...
Giancarlo Guizzardi, Ricardo de Almeida Falbo, Jos...