2470 search results - page 260 / 494 » Liveness-Preserving Simulation Relations |
141
click to vote
WOWMOM
2000
ACM
15 years 10 months ago
2000
ACM
In order to support relatively differentiated QoS requirement over time-varying shared wireless medium with location-dependent errors, we propose in this paper a Wireless Fair Sche...
148
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
138
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
We discuss a robotic system composed of Crystalline modules. Crystaline modules can aggregate together to form distributed robot systems. Crystalline modules can move relative to ...
148
Voted
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. Non-negative sparse coding is a method for decomposing multivariate data into non-negative sparse components. In this paper we briefly describe the motivation behind this...
170
click to vote
GRAMMARS
2000
15 years 5 months ago
2000
Abstract. We propose a modular design of tabular parsing algorithms for treeadjoining languages. The modularity is made possible by a separation of the parsing strategy from the me...