5334 search results - page 468 / 1067 » Communicating quantum processes |
163
click to vote
ASAP
1996
IEEE
15 years 11 months ago
1996
IEEE
Kestrel is a programmable linear array processor designed for sequence analysis. Among other features, Kestrel includes an 8-bit word, a single-cycle add-and-minimize instruction, ...
211
Voted
AMFG
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. This paper addresses an aspect of sign language (SL) recognition that has largely been overlooked in previous work and yet is integral to signed communication. It is the ...
155
Voted
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
199
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
The conceptual architecture of the access control system described here is based on automatic distributed acquisition and processing of knowledge about users and devices in comput...
188
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independe...