1368 search results - page 206 / 274 » Challenges for Model-Integrating Components |
158
click to vote
ENTCS
2010
15 years 1 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
166
click to vote
CVPR
2011
IEEE
15 years 14 days ago
2011
IEEE
We are interested in the problem of automatic tracking and identification of players in broadcast sport videos shot with a moving camera from a medium distance. While there are m...
150
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
Activity videos are widespread on the Internet but current video search is limited to text tags due to limitations in recognition systems. One of the main reasons for this limitati...
136
click to vote
CACM
2011
14 years 11 months ago
2011
This paper presents Sora, a fully programmable software radio platform on commodity PC architectures. Sora combines the performance and fidelity of hardware SDR platforms with th...
166
click to vote
IJNSEC
2011
14 years 11 months ago
2011
With recent advances in wireless sensor networks and embedded computing technologies, miniaturized pervasive health monitoring devices have become practically feasible. In additio...