2940 search results - page 343 / 588 » Relational Parametricity and Control |
176
click to vote
FOCI
2007
IEEE
16 years 28 days ago
2007
IEEE
— The exchange Monte Carlo method was proposed as an improved algorithm of Markov Chain Monte Carlo method and its effectiveness has been shown in many fields. In the exchange M...
133
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
— A hybrid automatic repeat-request (ARQ) code combining scheme employing different multidimensional spacetime trellis codes (MSTTCs) over a multiple-input, multipleoutput (MIMO)...
174
click to vote
ICDE
2007
IEEE
16 years 27 days ago
2007
IEEE
In a secure mediated information system, confidentiality is one of the main concerns when transmitting data from datasources to clients via a mediator. We present three approache...
183
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
— This paper presents a new visual servoing method that is able to stabilize a moving area of soft tissue within an ultrasound B-mode imaging plane. The approach consists of movi...
174
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
— Different coherence dimensions can be considered to improve the performances of an algorithm for computing collision translations of pairs of convex polyhedra. The algorithm’...