Sciweavers

3818 search results - page 588 / 764
» Word Problems on Compressed Words
Sort
View
ISCI
2008
181views more  ISCI 2008»
15 years 6 months ago
Attribute reduction in decision-theoretic rough set models
Rough set theory can be applied to rule induction. There are two different types of classification rules, positive and boundary rules, leading to different decisions and consequen...
Yiyu Yao, Yan Zhao
IJFCS
2006
119views more  IJFCS 2006»
15 years 6 months ago
Enforcing Concurrent Temporal Behaviors
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
Doron Peled, Hongyang Qu
IJHPCA
2006
125views more  IJHPCA 2006»
15 years 6 months ago
Complexity Results for Collective Communications on Heterogeneous Platforms
In this paper, we consider the communications involved in the execution of a complex application, deployed on a heterogeneous platform. Such applications extensively use macro-com...
Olivier Beaumont, Loris Marchal, Yves Robert
IVC
2008
182views more  IVC 2008»
15 years 6 months ago
Ontology based complex object recognition
This paper presents an object categorization method. Our approach involves the following aspects of cognitive vision : machine learning and knowledge representation. A major eleme...
Nicolas Maillot, Monique Thonnat
JAPLL
2008
98views more  JAPLL 2008»
15 years 6 months ago
A formal account of Socratic-style argumentation
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
Martin Caminada