Sciweavers

5672 search results - page 843 / 1135
» Design techniques for low-power systems
Sort
View
SIGMOD
2007
ACM
164views Database» more  SIGMOD 2007»
16 years 6 months ago
Fast data stream algorithms using associative memories
The primary goal of data stream research is to develop space and time efficient solutions for answering continuous online summarization queries. Research efforts over the last dec...
Nagender Bandi, Ahmed Metwally, Divyakant Agrawal,...
ICSE
2007
IEEE-ACM
16 years 6 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
IUI
2010
ACM
16 years 3 months ago
Raconteur: from intent to stories
When editing a story from a large collection of media, such as photos and video clips captured from daily life, it is not always easy to understand how particular scenes fit into ...
Pei-Yu Chi, Henry Lieberman
IPSN
2010
Springer
16 years 1 months ago
Self-identifying sensor data
Public-use sensor datasets are a useful scientific resource with the unfortunate feature that their provenance is easily disconnected from their content. To address this we intro...
Stephen Chong, Christian Skalka, Jeffrey A. Vaugha...
SEMCO
2009
IEEE
16 years 1 months ago
Detecting Attempts at Humor in Multiparty Meetings
Abstract—Systems designed for the automatic summarization of meetings have considered the propositional content of contributions by each speaker, but not the explicit techniques ...
Kornel Laskowski