1722 search results - page 134 / 345 » Generating Tests from Counterexamples |
NETWORKING
2007
14 years 2 days ago
2007
Abstract. The wide deployment of 802.11 WLANs has led to the coexistence of wired and wireless clients in a network environment. This paper presents a robust technique to detect 80...
IEPOL
2006
13 years 10 months ago
2006
Broadband access provides users with high speed, always-on connectivity to the Internet. Due to its superiority, broadband is seen as the way for consumers and firms to exploit th...
JIRS
2007
13 years 10 months ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
NN
2007
Springer
13 years 10 months ago
2007
Springer
The interval discrimination task is a classical experimental paradigm that is employed to study working memory and decision making and typically involves four phases. First, the s...
CVPR
2011
IEEE
13 years 6 months ago
2011
IEEE
We propose a new method to quickly and accurately predict 3D positions of body joints from a single depth image, using no temporal information. We take an object recognition appro...