8917 search results - page 1742 / 1784 » Abstraction in Algorithm Animation |
123
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
127
Voted
AINA
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract-- As intrusion detection essentially can be formulated as a binary classification problem, it thus can be solved by an effective classification technique-Support Vector Ma...
115
click to vote
CIA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we address a model of self interested information agents competing to perform tasks. The agents are situated in an uncertain environment while different tas...
111
click to vote
ASIACRYPT
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. It has been recently acknowledged [4, 6, 9] that the use of double bases representations of scalars n, that is an expression of the form n = e,s,t(-1)e As Bt can speed up...
119
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...