Sciweavers

1054 search results - page 67 / 211
» Guarded Expressions in Practice
Sort
View
FOIS
2006
15 years 1 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 16 days 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
CVPR
2010
IEEE
15 years 7 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
15 years 6 months 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 6 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