918 search results - page 34 / 184 » Speculative Issue Logic |
153
click to vote
TIME
2008
IEEE
16 years 12 days ago
2008
IEEE
We tackle the issue of representing infinite sets of realvalued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose ...
137
click to vote
INAP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
128
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
For extremely Low-power Logic, three very new and promising techniques will be described. The first are methods on circuit and system level for reduced supply voltages. In large l...
195
click to vote
UC
2009
Springer
16 years 16 days ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
174
click to vote
EUROCAST
1994
Springer
15 years 10 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...