472 search results - page 68 / 95 » Symbolic range propagation |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
The problem addressed is source localization via time-differenceof-arrival estimation in a multipath channel. Solving this localization problem typically implies cross-correlating...
HPCC
2005
Springer
14 years 3 months ago
2005
Springer
In this study, we defined requirements of ubiquitous environment, which users can monitor and control situations of home anytime, anywhere. In addition we developed and built a mod...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
We introduce a simple variation of the additive heuristic used in the HSP planner that combines the benefits of the original additive heuristic, namely its mathematical formulation...
VTC
2010
IEEE
13 years 8 months ago
2010
IEEE
— In this contribution, we propose an adaptive Turbo Trellis Coded Modulation (TTCM) aided Distributed Space-Time Trellis Coding (STTC) scheme for cooperative communication over ...
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...