8828 search results - page 1145 / 1766 » Formal methods in practice |
199
click to vote
DDECS
2009
IEEE
16 years 2 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
195
click to vote
IAT
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper proposes an automated web site evaluation approach using machine learning to cope with ranking problems. Evaluating web sites is a significant task for web service beca...
192
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
— We study the inversion of a random field from pointwise measurements collected by a sensor network. We assume that the field has a sparse representation in a known basis. To ...
144
click to vote
INFOCOM
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper considers a category of rogue access points (APs) that pretend to be legitimate APs to lure users to connect to them. We propose a practical timing based technique th...
213
click to vote
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
—The goal of a robot formation control architecture is to get a number of robots into a specified form. To be effective and practical, the control architecture must be able to tr...