8828 search results - page 1565 / 1766 » Formal methods in practice |
121
Voted
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
Although kernel-based methods have been demonstrated effectively in solving single-target tracking problem, facing more complicated multi-target tracking task, most of them still ...
141
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Achieving fast, precise, and scalable fault localization has long been a highly desired feature in all-optical mesh networks. Monitoring tree (m-tree) is an interesting m...
156
click to vote
MOBIHOC
2010
ACM
15 years 2 months ago
2010
ACM
Comparing with the classical barcode system, RFID extends the operational distance from inches to a number of feet (passive RFID tags) or even hundreds of feet (active RFID tags)....
144
click to vote
PDPTA
2010
15 years 2 months ago
2010
- Many research questions remain open with regard to improving reliability in exascale systems. Among others, statistics-based analysis has been used to find anomalies, to isolate ...
181
Voted
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present an implementation of model-based online reinforcement learning (RL) for continuous domains with deterministic transitions that is specifically designed to achi...