1722 search results - page 134 / 345 » Generating Tests from Counterexamples |
91
Voted
NETWORKING
2007
15 years 2 months 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...
104
Voted
IEPOL
2006
15 years 18 days 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...
101
click to vote
JIRS
2007
15 years 15 days 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...
112
Voted
NN
2007
Springer
15 years 3 days 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...
195
click to vote
CVPR
2011
IEEE
14 years 8 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...