Sciweavers

3032 search results - page 279 / 607
» Description Logic Rules
Sort
View
EUSFLAT
2003
125views Fuzzy Logic» more  EUSFLAT 2003»
15 years 6 months 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
MVA
1990
15 years 5 months ago
Handwriting Model Adjustable to Writers
A new handwriting model is proposed for simulating complex handwriting variation in obedience to individual handwriting tendencies. Individual handwriting t,endency is represented...
Nobuyuki Kita
105
Voted
IMCSIT
2010
15 years 2 months ago
Building and Using Existing Hunspell Dictionaries and TeX Hyphenators as Finite-State Automata
Abstract--There are numerous formats for writing spellcheckers for open-source systems and there are many descriptions for languages written in these formats. Similarly, for word h...
Tommi Pirinen, Krister Lindén
LPNMR
2001
Springer
15 years 9 months ago
plp: A Generic Compiler for Ordered Logic Programs
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
James P. Delgrande, Torsten Schaub, Hans Tompits
128
Voted
LOGCOM
2010
143views more  LOGCOM 2010»
15 years 3 months ago
Vietoris Bisimulations
Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a Vietoris bisimulation...
Nick Bezhanishvili, Gaëlle Fontaine, Yde Vene...