Sciweavers

1097 search results - page 161 / 220
» Partial evaluation of Maple
Sort
View
ECCV
2008
Springer
13 years 12 months ago
Vision-Based Multiple Interacting Targets Tracking via On-Line Supervised Learning
Abstract. Successful multi-target tracking requires locating the targets and labeling their identities. This mission becomes significantly more challenging when many targets freque...
Xuan Song, Jinshi Cui, Hongbin Zha, Huijing Zhao
EDCC
2008
Springer
13 years 12 months ago
Software Faults Diagnosis in Complex OTS Based Safety Critical Systems
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
Gabriella Carrozza, Domenico Cotroneo, Stefano Rus...
ESWS
2008
Springer
13 years 12 months ago
Viewing and Querying Topic Maps in terms of RDF
Both Topic Maps and RDF are popular semantic web standards designed for machine processing of web documents. Since these representations were originally created for different purpo...
Silvia Stefanova, Tore Risch
FPL
2008
Springer
105views Hardware» more  FPL 2008»
13 years 11 months ago
Bitstream encryption and authentication with AES-GCM in dynamically reconfigurable systems
A high-speed and secure dynamic partial reconfiguration (DPR) system is realized with AES-GCM that guarantees both confidentiality and authenticity of FPGA bitstreams. In DPR syst...
Yohei Hori, Akashi Satoh, Hirofumi Sakane, Kenji T...
BCSHCI
2008
13 years 11 months ago
Effect of fidelity in diagram presentation
The visual fidelity (fidelity) of a design diagram affects perception and design performance. Hand-drawn diagrams are more effective working documents for early design tasks such ...
Louise Yeung, Beryl Plimmer, Brenda Lobb, Douglas ...