6978 search results - page 1331 / 1396 » On Proofs in System P |
172
click to vote
ICRA
2008
IEEE
16 years 25 days ago
2008
IEEE
— This paper presents an initial design and feasibility study for a 1-DOF Magnetic Resonance Imaging (MRI) compatible needle driver robot for radiofrequency ablation (RFA). This ...
171
click to vote
MICRO
2008
IEEE
16 years 24 days ago
2008
IEEE
Any architectural optimization aims at satisfying the end user. However, modern architectures execute with little to no knowledge about the individual user. If architectures could...
167
click to vote
PIMRC
2008
IEEE
16 years 23 days ago
2008
IEEE
Orthogonal frequency division multiplexing (OFDM) system suffers extra performance degradation in fast fading channel due to intercarrier interference (ICI). Combing frequency dom...
196
click to vote
WMCSA
2008
IEEE
16 years 23 days ago
2008
IEEE
Remote patient monitoring generates much more data than healthcare professionals are able to manually interpret. Automated detection of events of interest is therefore critical so...
211
click to vote
ICTAI
2007
IEEE
16 years 21 days ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...