8838 search results - page 243 / 1768 » Generalizing Domain Theory |
156
Voted
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
179
Voted
CP
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we present a Lagrange-multiplier formulation of discrete constrained optimization problems, the associated discrete-space first-order necessary and sufficient condit...
180
click to vote
MAAMAW
1994
Springer
15 years 10 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...
163
click to vote
CVPR
2004
IEEE
15 years 10 months ago
2004
IEEE
In conventional tomography, the interior of an object is reconstructed from tomographic projections such as X-ray or electron microscope images. All the current reconstruction met...
176
click to vote
EUROCRYPT
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper studies the gaps that exist between cryptography as studied in theory, as defined in standards, as implemented by software engineers, and as actually consumed ...