1532 search results - page 126 / 307 » A Comparison of RESTART Implementations |
119
Voted
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
Delaying-based tabling mechanisms, such as the one adopted in XSB, are nonlinear in the sense that the computation state of delayed calls has to be preserved. In this paper, we pr...
158
click to vote
VISSYM
2007
15 years 6 months ago
2007
This paper is concerned with a multiresolution representation for maximum intensity projection (MIP) volume rendering based on morphological pyramids which allows progressive refi...
144
Voted
FPL
2008
Springer
15 years 5 months ago
2008
Springer
A high-speed and secure dynamic partial reconfiguration (DPR) system is realized with AES-GCM that guarantees both confidentiality and authenticity of FPGA bitstreams. In DPR syst...
134
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
158
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Support vector machines (SVMs) are an extremely successful type of classification and regression algorithms. Building an SVM entails solving a constrained convex quadratic program...