Sciweavers

2203 search results - page 440 / 441
» Temporal Abstract Interpretation
Sort
View
ICASSP
2011
IEEE
12 years 8 months ago
A combinatorial optimization framework for subset selection in distributed multiple-radar architectures
Abstract—Widely distributed multiple radar architectures offer parameter estimation improvement for target localization. For a large number of radars, the achievable localization...
Hana Godrich, Athina P. Petropulu, H. Vincent Poor
CSMR
2011
IEEE
12 years 8 months ago
Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...
Johan Kraft, Holger M. Kienle, Thomas Nolte, Ivica...
MBEC
2011
157views more  MBEC 2011»
12 years 8 months ago
Size matters: MEG empirical and simulation study on source localization of the earliest visual activity in the occipital cortex
Abstract While the relationship between sensory stimulation and tasks and the size of the cortical activations is generally unknown, the visual modality offers a unique possibility...
Sanja Josef Golubic, Ana Susac, Veljko Grilj, Doug...
ICDCS
2011
IEEE
12 years 4 months ago
Accuracy-Aware Interference Modeling and Measurement in Wireless Sensor Networks
Abstract—Wireless Sensor Networks (WSNs) are increasingly available for mission-critical applications such as emergency management and health care. To meet the stringent requirem...
Jun Huang, Shucheng Liu, Guoliang Xing, Hongwei Zh...
ICDE
2012
IEEE
239views Database» more  ICDE 2012»
11 years 7 months ago
Provenance-based Indexing Support in Micro-blog Platforms
Abstract— Recently, lots of micro-blog message sharing applications have emerged on the web. Users can publish short messages freely and get notified by the subscriptions instan...
Junjie Yao, Bin Cui, Zijun Xue, Qingyun Liu