3032 search results - page 466 / 607 » Description Logic Rules |
ICALP
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Tile sets and tilings of the plane appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). The idea is to enforce some global prop...
ICFP
2002
ACM
14 years 10 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
FPGA
2009
ACM
14 years 5 months ago
2009
ACM
PERG is a pattern matching engine designed for locating predefined byte string patterns (rules) from the ClamAV virus signature database in a data stream. This paper presents PERG...
TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
FUZZIEEE
2007
IEEE
14 years 5 months ago
2007
IEEE
—In the past, we proposed a genetic-fuzzy data-mining algorithm for extracting both association rules and membership functions from quantitative transactions under a single minim...