Sciweavers

244 search results - page 14 / 49
» ais 2008
Sort
View
DLT
2008
13 years 9 months ago
Large Simple Binary Equality Words
Abstract. Let w be an equality word of two nonperiodic binary morphisms g, h : {a, b} . Suppose that no overflow occurs twice in w and that w contains at least 9 occurrences of a ...
Jana Hadravová, Stepan Holub
AI
2008
Springer
14 years 2 months ago
Aspects of Inconsistency Resolution in Modular Ontologies
Modularization entails more efficient reasoning and better performance in the ontology manipulation process. Therefore, the development of modular ontologies has recently received ...
Faezeh Ensan, Weichang Du
AI
2008
Springer
13 years 8 months ago
Theoretical analysis of singleton arc consistency and its extensions
Singleton arc consistency (SAC) is a consistency property that is simple to specify and is stronger than arc consistency. Algorithms have already been proposed to enforce SAC, but...
Christian Bessiere, Romuald Debruyne
AIS
2008
Springer
13 years 8 months ago
Asimov's "three laws of robotics" and machine metaethics
Using Asimov's "Bicentennial Man" as a springboard, a number of metaethical issues concerning the emerging field of Machine Ethics are discussed. Although the ultim...
Susan Leigh Anderson
AI
2008
Springer
13 years 10 months ago
A Statistical Model for Topic Segmentation and Clustering
This paper presents a statistical model for discovering topical clusters of words in unstructured text. The model uses a hierarchical Bayesian structure and it is also able to iden...
M. Mahdi Shafiei, Evangelos E. Milios