1588 search results - page 247 / 318 » On the Logic of Constitutive Rules |
130
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
100
Voted
ICALP
2009
Springer
16 years 1 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...
124
click to vote
ICFP
2002
ACM
16 years 1 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...
103
click to vote
FPGA
2009
ACM
15 years 8 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...
111
click to vote
TIME
2009
IEEE
15 years 8 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...