Sciweavers

1872 search results - page 105 / 375
» The Art of Granular Computing
Sort
View
ASM
2008
ASM
15 years 8 months ago
The High Road to Formal Validation:
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
Michael Leuschel
ICCS
2007
Springer
15 years 7 months ago
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
Rallou Thomopoulos, Jean-François Baget, Ol...
ECCV
2010
Springer
15 years 6 months ago
Object Recognition with Hierarchical Stel Models
Abstract. We propose a new generative model, and a new image similarity kernel based on a linked hierarchy of probabilistic segmentations. The model is used to efficiently segment ...
Alessandro Perina, Nebojsa Jojic, Umberto Castella...
JCST
2006
119views more  JCST 2006»
15 years 5 months ago
Constraint-Based Fuzzy Models for an Environment with Heterogeneous Information-Granules
:- A novel constraint-based fuzzy modeling approach is proposed. Features of the proposed model are enumerated as below. 1)The knowledge base of a constraint-based fuzzy model can ...
K. Robert Lai, Yi-Yuan Chiang
ACL
2010
15 years 4 months ago
Learning Arguments and Supertypes of Semantic Relations Using Recursive Patterns
A challenging problem in open information extraction and text mining is the learning of the selectional restrictions of semantic relations. We propose a minimally supervised boots...
Zornitsa Kozareva, Eduard H. Hovy