1768 search results - page 102 / 354 » A Logic for Algebraic Effects |
105
Voted
IJCAI
1989
15 years 1 months ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...
84
Voted
VLSID
2004
IEEE
16 years 1 months ago
2004
IEEE
This paper is an attempt to answer the following question: how much improvement can be obtained in logic decomposition by using Boolean divisors? Traditionally, the existence of t...
88
Voted
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
107
click to vote
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
FM
1999
Springer
15 years 5 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...