8695 search results - page 342 / 1739 » Making the Complex Simple |
161
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. I...
187
click to vote
SAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
188
click to vote
ACSAC
2003
IEEE
16 years 3 days ago
2003
IEEE
The emergence of online games has fundamentally changed security requirements for computer games, which previously were largely concerned with copy protection. In this paper, we e...
162
click to vote
ICDAR
2003
IEEE
16 years 3 days ago
2003
IEEE
Authentication of individuals is rapidly becoming an important issue. On-line signature verification is one of the methods that use biometric features. This paper proposes a new H...
158
click to vote
CC
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...