3457 search results - page 347 / 692 » A Symbol Is Not a Symbol |
146
click to vote
CSB
2003
IEEE
16 years 1 days ago
2003
IEEE
A simple statistical block code in combination with the LZW-based compression utilities gzip and compress has been found to increase by a significant amount the level of compressi...
137
Voted
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
We present a physical imrplementation of a 32-ports SPIN micro-network. For a 0.13 micron CMOS process, the total area is 4.6 ¢£¢¥¤ , for a cumulated bandwidth of about 100 G...
162
click to vote
ICDAR
2003
IEEE
16 years 18 hour ago
2003
IEEE
With an aim to high-level understanding of the mathematical contents in a document image the requirement of math-zone extraction and recognition technique is obvious. In this pape...
161
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
179
click to vote
ESORICS
2003
Springer
15 years 12 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...