1702 search results - page 283 / 341 » Doomed program points |
CGF
2008
15 years 2 months ago
2008
This paper reviews the latest developments of displacement mapping algorithms implemented on the vertex, geometry, and fragment shaders of graphics cards. Displacement mapping alg...
106
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In the past few years, IRC bots, malicious programs which are remotely controlled by the attacker through IRC servers, have become a major threat to the Internet and users. These ...
111
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
143
click to vote
CORR
2008
Springer
15 years 2 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...
155
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...