Sciweavers

1721 search results - page 226 / 345
» On Active and Passive Testing
Sort
View
ICASSP
2008
IEEE
15 years 4 months ago
A method for locating multiple sources from a frame of a large-aperture microphone array data without tracking
In this paper we present a new method for locating multiple sound sources using only a local segment of data from a large-aperture microphone array. The result of this work may be...
Hoang Do, Harvey F. Silverman
ICASSP
2008
IEEE
15 years 4 months ago
Scalable OFDM design for underwater acoustic communications
Multicarrier modulation in the form of OFDM has been actively pursued for underwater acoustic communication recently. In this paper, we present a desirable property of OFDM that o...
Baosheng Li, Shengli Zhou, Jie Huang, Peter Willet...
CSFW
2007
IEEE
15 years 4 months ago
Computationally Sound Mechanized Proofs of Correspondence Assertions
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
Bruno Blanchet
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
15 years 4 months ago
Design of a Biomimetic Controlled-Curvature Robotic Pectoral Fin
—This paper describes the design, construction, and testing of a biomimetic pectoral (side) fin with actively controlled curvature for UUV propulsion. First, a 3D unsteady comput...
John Palmisano, Ravi Ramamurti, Kerr-Jia Lu, Jonah...
SIBGRAPI
2007
IEEE
15 years 4 months ago
Dental Biometrics: Human Identification Based On Dental Work Information
Dental biometrics is used in forensic dentistry to identify or verify persons based on their dental radiographs. This paper presents a method for human identification based on den...
Michael Hofer, Aparecido Nilceu Marana