2880 search results - page 88 / 576 » Types are calling conventions |
77
Voted
COOPIS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper demonstrates that work in digital enterprises—like work in conventional enterprises— can be carried out effectively by autonomous agents, subject to a regulatory r...
EUROCRYPT
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a new lattice-based cryptographic structure called a bonsai tree, and use it to resolve some important open problems in the area. Applications of bonsai trees include...
ICCAD
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
INFOVIS
1998
IEEE
15 years 4 months ago
1998
IEEE
We propose a simple and powerful graphical interface tool called the LensBar for filtering and visualizing large lists of data. Browsing and querying are the most important tasks ...
ICDAR
1995
IEEE
15 years 3 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...