Sciweavers

1054 search results - page 67 / 211
» Guarded Expressions in Practice
Sort
View
FOIS
2006
15 years 7 months ago
Formalizing Ontology Alignment and its Operations with Category Theory
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
Antoine Zimmermann, Markus Krötzsch, Jé...
CP
2009
Springer
16 years 6 months ago
Hull Consistency under Monotonicity
We prove that hull consistency for a system of equations or inequalities can be achieved in polynomial time providing that the underlying functions are monotone with respect to eac...
Gilles Chabert, Luc Jaulin
155
Voted
CVPR
2010
IEEE
16 years 1 months ago
Efficient Filter Flow for Space-Variant Multiframe Blind Deconvolution
Ultimately being motivated by facilitating space-variant blind deconvolution, we present a class of linear transformations, that are expressive enough for space-variant filters, ...
Michael Hirsch, Suvrit Sra, Bernhard Schöpf, Stef...
IAT
2008
IEEE
16 years 2 days ago
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
Efstratios Kontopoulos, Nick Bassiliades, Guido Go...
HICSS
2007
IEEE
176views Biometrics» more  HICSS 2007»
15 years 12 months ago
Mining Fuzzy Weighted Association Rules
The paper combines and extends the technologies of fuzzy sets and association rules, considering users’ differential emphasis on each attribute through fuzzy regions. A fuzzy da...
David L. Olson, Yanhong Li