Sciweavers

3791 search results - page 696 / 759
» Packing sets of patterns
Sort
View
ASM
2010
ASM
16 years 19 days ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
ICASSP
2008
IEEE
16 years 18 days ago
Ultrasonic Doppler sensor for speaker recognition
In this paper we present a novel use of an acoustic Doppler sonar for multi-modal speaker identification. An ultrasonic emitter directs a 40kHz tone toward the speaker. Reflecti...
Kaustubh Kalgaonkar, Bhiksha Raj
ICC
2008
IEEE
115views Communications» more  ICC 2008»
16 years 18 days ago
Oblivious Routing for Wireless Mesh Networks
—Wireless mesh networks have attracted increasing attention and deployment as a high-performance and low-cost solution to last-mile broadband Internet access. Traffic routing pl...
Jonathan Wellons, Yuan Xue
ICDCS
2008
IEEE
16 years 18 days ago
Fully Adaptive Power Saving Protocols for Ad Hoc Networks Using the Hyper Quorum System
Quorum-based Power Saving (QPS) protocols have been proposed for ad hoc networks (e.g., IEEE 802.11 ad hoc mode) to increase energy efficiency and prolong the operational time of...
Shan-Hung Wu, Ming-Syan Chen, Chung-Min Chen
ICRA
2008
IEEE
144views Robotics» more  ICRA 2008»
16 years 17 days ago
Interacting multiple model monocular SLAM
— Recent work has demonstrated the benefits of adopting a fully probabilistic SLAM approach in sequential motion and structure estimation from an image sequence. Unlike standard...
Javier Civera, Andrew J. Davison, J. M. M. Montiel