5015 search results - page 881 / 1003 » Model Checking a Path |
FPGA
2007
ACM
14 years 4 months ago
2007
ACM
Variations in the semiconductor fabrication process results in variability in parameters between transistors on the same die, a problem exacerbated by lithographic scaling. The re...
ICCS
2007
Springer
14 years 4 months ago
2007
Springer
Wireless Mesh Networks with static Transit Access Points (TAPs) have many advantages to connect different kinds of networks. While Mobile Ad hoc Networks still have many challenges...
IPSN
2007
Springer
14 years 4 months ago
2007
Springer
Target detection and field surveillance are among the most prominent applications of Sensor Networks (SN). The quality of detection achieved by a SN can be quantified by evaluat...
MCAM
2007
Springer
14 years 4 months ago
2007
Springer
A three-level method is proposed to achieve robust and real-time ball tracking in soccer videos. It includes object-, intra-trajectory-, and intertrajectory-level processing. Due t...
NEW2AN
2007
Springer
14 years 4 months ago
2007
Springer
Mobile WiMAX is a promising wireless technology approaching market deployment. Much discussion concentrate on whether mobile WiMAX will reach a tipping point and become 4G or not. ...