95 search results - page 12 / 19 » Simulation Preorder over Simple Process Algebras |
ICCCN
1997
IEEE
13 years 12 months ago
1997
IEEE
We present UDP datagram demultiplexing techniques that can yield potentially substantial applicationindependent performance gains over BSD-derived UDP implementations. Our demulti...
DSS
2006
13 years 7 months ago
2006
Concept mapping systems used in education and knowledge management emphasize flexibility of representation to enhance learning and facilitate knowledge capture. Collections of con...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— This paper presents a strategy for planning robot motions in dynamic, cluttered, and uncertain environments. Successful and efficient operation in such environments requires r...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
—The optimum multiuser detection (OMD) is a discrete (binary) optimization. The previously developed approaches often relax it by a semi-definite program (SDP) and then employ r...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper presents a coordinated multiple-substream unequal error protection and error concealment algorithm for SPIHT-coded bitstreams transmitted over lossy channels. In the pr...