555 search results - page 8 / 111 » Between Symbol and Language-in-use |
CAV
2003
Springer
14 years 26 days ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
JCC
2007
13 years 7 months ago
2007
: In this paper, I will look at the rather convoluted discovery process which gave birth to the concept of the shared electron pair bond as developed by G.N. Lewis, to be subsequen...
CISS
2008
IEEE
14 years 2 months ago
2008
IEEE
—We consider the design of a network in which packet transmissions between two nodes are to be guaranteed a certain probability of success. There are N independent paths between ...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper proposes a new link for asynchronous NoC communications that is resilient to transient faults on the wires of the link without impact on the data transfer capability. R...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— The design of ultra-wideband (UWB) impulse radio receivers has to cope with complex signal propagation environments with dense multipath fading, which complicate channel estima...