1776 search results - page 170 / 356 » Using a Logic Programming Language with Persistence and Cont... |
130
click to vote
IFIP
2001
Springer
15 years 8 months ago
2001
Springer
: High defect coverage requires good coverage of different fault types. In this paper, we present a comprehensive test vector generation technique for BIST, called Random Single In...
122
Voted
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
130
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
133
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
The main contribution of this paper is the definition of the preference description language ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
131
Voted
IJCAI
2003
15 years 4 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...