Sciweavers

1872 search results - page 105 / 375
» The Art of Granular Computing
Sort
View
109
Voted
ASM
2008
ASM
15 years 2 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
132
Voted
ICCS
2007
Springer
15 years 2 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...
135
Voted
ECCV
2010
Springer
15 years 29 days 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 22 days 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
125
Voted
ACL
2010
14 years 10 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