10568 search results - page 212 / 2114 » Computer Intelligence and Formalization |
109
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
The major contribution of this paper is the presentation of a general unifying description of distributed algorithms allowing to map local, node-based, algorithms onto a single gl...
130
click to vote
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
110
click to vote
HAIS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...
117
click to vote
ASM
2005
ASM
15 years 8 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
157
click to vote
IJAR
2006
15 years 3 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...