4485 search results - page 235 / 897 » Equivalences on Observable Processes |
114
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Semidefinite relaxation (SDR) is a high-performance efficient approach to MIMO detection especially for the BPSK or QPSK constellations. Recently, a number of research endeavors...
132
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
120
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
149
Voted
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a method of directly extracting a simplified contour surface along with detailed normal maps from volume data in one fast and integrated process. A robust du...
107
click to vote
NOLISP
2007
Springer
15 years 10 months ago
2007
Springer
We have previously proposed a trajectory model which is based on a mixture density network (MDN) trained with target variables augmented with dynamic features together with an algo...