2024 search results - page 79 / 405 » The Meaning of Ordered SOS |
164
click to vote
ITC
1993
IEEE
15 years 10 months ago
1993
IEEE
Built-In-Self-Test BIST for VLSI systems is desirable in order to reduce the cost per chip of production-time testing by the manufacturer. In addition, it can provide the means ...
170
click to vote
FPL
1994
Springer
15 years 10 months ago
1994
Springer
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...
207
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
168
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
This document presents provisioning strategies for emerging hybrid optical networks. The idea is to make use of policy-based management that guides the behavior of a network throu...
149
click to vote
ICDAR
1995
IEEE
15 years 10 months ago
1995
IEEE
In this paper, we present a hybrid approach to the problem of the document analysis in which the document image is segmented by means of a top-down technique and then basic blocks...