Sciweavers

2419 search results - page 17 / 484
» Modeling Spatio-temporal Network Computations: A Summary of ...
Sort
View
POPL
2004
ACM
14 years 1 months ago
Summarizing procedures in concurrent programs
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof
CIKM
2005
Springer
13 years 9 months ago
DIST: a distributed spatio-temporal index structure for sensor networks
We consider the general problem of tracking moving objects in sensor networks. The specific application we consider is that of tracking a chemical plume moving over a large infra...
Anand Meka, Ambuj K. Singh
NAACL
2010
13 years 5 months ago
Using Confusion Networks for Speech Summarization
For extractive meeting summarization, previous studies have shown performance degradation when using speech recognition transcripts because of the relatively high speech recogniti...
Shasha Xie, Yang Liu
EH
2005
IEEE
171views Hardware» more  EH 2005»
14 years 1 months ago
Implementation Results for a Fault-Tolerant Multicellular Architecture Inspired by Endocrine Communication
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...
Andrew J. Greensted, Andy M. Tyrrell
AINA
2007
IEEE
14 years 2 months ago
A Class-Based Search System in Unstructured P2P Networks
— Efficient searching is one of the important design issues in peer-to-peer (P2P) networks. Among various searching techniques, semantic-based searching has drawn significant a...
Juncheng Huang, Xiuqi Li, Jie Wu