1950 search results - page 303 / 390 » Lambda-Free Logical Frameworks |
156
click to vote
EUROMICRO
2004
IEEE
15 years 10 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...
157
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
With the rise of the Internet, virtual communities of practice are gaining importance as a mean of sharing and exchanging information. In such environments, information reuse is of...
170
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
Data mining tools generally deal with highly structured and precise data. However, classical methods fail to handle imprecise or uncertain information. This paper proposes a neuro-...
172
click to vote
ICCAD
1995
IEEE
15 years 10 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...
197
click to vote
TABLEAUX
1995
Springer
15 years 10 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...