4163 search results - page 184 / 833 » Enhancing surgical systems |
164
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
144
click to vote
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
— The demand for even higher data rates in future mobile communications systems calls for new techniques capable of improving the performance of cellular systems. One possibility...
141
click to vote
ESWA
2006
15 years 4 months ago
2006
In the past, the selection of resources to execute various warehouse operation services was done solely by experts. In this paper, a RFIDbased Resource Management System (RFID-RMS...
154
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—In recent years, single antenna interference cancellation (SAIC) has evolved as an attractive method to increase the capacity of single carrier mobile radio networks lik...
131
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes the development of a polyphonic music retrieval system with the n-gram approach. Musical n-grams are constructed from polyphonic musical performances in MIDI ...