Sciweavers

3228 search results - page 302 / 646
» Computationally Sound Proofs
Sort
View
BILDMED
2009
107views Algorithms» more  BILDMED 2009»
15 years 5 months ago
Towards an Estimation of Acoustic Impedance from Multiple Ultrasound Images
Abstract. Reflection of sound waves, due to acoustic impedance mismatch at the interface of two media, is the principal physical property which allows visualization with ultrasound...
Christian Wachinger, Ramtin Shams, Nassir Navab
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 4 months ago
FPGA Implementation of LS Code Generator for CDM Based MIMO Channel Sounder
MIMO (Multi Input Multi Output) wireless communication system is an innovative solution to improve the bandwidth efficiency by exploiting multipath-richness of the propagation envi...
M. Habib Ullah, Md. Niamul Bari, A. Unggul Prianto...
ENGL
2007
179views more  ENGL 2007»
15 years 4 months ago
Wearable Real-Time Stereo Vision for the Visually Impaired
— Visually impaired find their navigation difficult as they often lack the needed information for bypassing obstacles and hazards. Electronic Travel Aids (ETAs) are devices that ...
G. Balakrishnan, G. Sainarayanan, R. Nagarajan, Sa...
EG
2010
119views more  EG 2010»
15 years 1 months ago
Internal factors affecting the adoption and use of government websites
: The purpose of this paper is to identify internal factors within government that affect the adoption and use of government websites. A conceptual framework, based on a literature...
Brian Detlor, Maureen E. Hupfer, Umar Ruhi
SEMWEB
2010
Springer
14 years 11 months ago
A reasonable Semantic Web
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
Pascal Hitzler, Frank van Harmelen