4513 search results - page 631 / 903 » Logic programming with satisfiability |
126
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
Today, security is recognized as an absolute need in application development. Programming environments offer mechanisms and concepts allowing an easy integration of security mecha...
116
Voted
FSKD
2006
Springer
15 years 7 months ago
2006
Springer
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...
139
click to vote
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
164
click to vote
DOOD
1991
Springer
15 years 7 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
128
click to vote
CTRS
1987
15 years 7 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...