5414 search results - page 1030 / 1083 » Exploratory Model Building |
176
click to vote
ISBI
2007
IEEE
16 years 14 days ago
2007
IEEE
Quantitative analysis of cardiac motion is of great clinical interest in assessing ventricular function. Real-time 3-D (RT3D) ultrasound transducers provide valuable fourdimension...
202
click to vote
ISCA
2007
IEEE
16 years 14 days ago
2007
IEEE
Large-scale Internet services require a computing infrastructure that can be appropriately described as a warehouse-sized computing system. The cost of building datacenter facilit...
163
click to vote
SMC
2007
IEEE
16 years 13 days ago
2007
IEEE
In this paper, we propose micro-climate sensing as an effective means of enhancing conventional RF-based localization. Our system targets people tracking applications in dynamic i...
176
click to vote
TPHOL
2007
IEEE
16 years 13 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
156
click to vote
ASIACRYPT
2007
Springer
16 years 11 days ago
2007
Springer
An extended abstract of this paper appears in Kaoru Kurosawa (Ed.): Advances in Cryptology ASIACRYPT 2007, volume 4833 of Lecture Notes in Computer Science, pages 265–282, Spring...