Sciweavers

5600 search results - page 824 / 1120
» Synthesizing robust systems
Sort
View
RE
2002
Springer
15 years 6 months ago
Automating Speculative Queries through Event-Based Requirements Traceability
Posing speculative questions about a software system is an important yet often unsupported activity. Current impact analysis techniques tend to focus upon the functionality of the...
Jane Cleland-Huang, Carl K. Chang, Gaurav Sethi, K...
TPDS
2002
105views more  TPDS 2002»
15 years 6 months ago
HiPER: A Compact Narrow Channel Router with Hop-by-Hop Error Correction
Multiprocessor architectures demand efficient interprocessor communication to maximize system utilization and performance. To meet future demands, these interconnects must communic...
Phil May, Santithorn Bunchua, D. Scott Wills
MMS
2007
15 years 6 months ago
Automatic lyrics alignment for Cantonese popular music
Abstract From lyrics-display on electronic music players and Karaoke videos to surtitles for live Chinese opera performance, one feature is common to all these everyday functionali...
Chi Hang Wong, Wai Man Szeto, Kin Hong Wong
174
Voted
GIS
2010
ACM
15 years 5 months ago
Exploiting local node cache in top-k queries within wireless sensor networks
Top-k queries are a popular type of query in Wireless Sensor Networks. Typical solutions rely on coordinated root-tonodes and nodes-to-root messages and on maintaining filters at...
Johannes Niedermayer, Mario A. Nascimento, Matthia...
133
Voted
ICRA
2010
IEEE
182views Robotics» more  ICRA 2010»
15 years 5 months ago
Ground robot navigation using uncalibrated cameras
Abstract— Precise calibration of camera intrinsic and extrinsic parameters, while often useful, is difficult to obtain during field operation and presents scaling issues for mu...
Olivier Koch, Matthew R. Walter, Albert S. Huang, ...