Sciweavers

1512 search results - page 93 / 303
» When Suboptimal Rules
Sort
View
EUSFLAT
2003
125views Fuzzy Logic» more  EUSFLAT 2003»
14 years 17 days ago
On convex-concave perception based functions
Perception based function (PBF) is given by the set of rules Ri:“If X is Ti then Y is Si”, where Ti is a linguistic term describing some fuzzy intervals Ai on the domain of re...
Ildar Z. Batyrshin, Aleksandra Panova
WICSA
2007
14 years 10 days ago
A Comparison of Static Architecture Compliance Checking Approaches
The software architecture is one of the most important artifacts created in the lifecycle of a software system. It enables, facilitates, hampers, or interferes directly the achiev...
Jens Knodel, Daniel Popescu
COMGEO
2006
ACM
13 years 11 months ago
Preferred directions for resolving the non-uniqueness of Delaunay triangulations
: This note proposes a simple rule to determine a unique triangulation among all Delaunay triangulations of a planar point set, based on two preferred directions. We show that the ...
Christopher Dyken, Michael S. Floater
APIN
2000
155views more  APIN 2000»
13 years 11 months ago
Defeasible Logic on an Embedded Microcontroller
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
Michael A. Covington
RTA
2005
Springer
14 years 4 months ago
Arithmetic as a Theory Modulo
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
Gilles Dowek, Benjamin Werner