10715 search results - page 197 / 2143 » Proofs from Tests |
133
click to vote
RANDOM
2001
Springer
15 years 5 months ago
2001
Springer
We consider the problem of determining whether a given function ¢ £ ¤¥ ¦ §¨© ¤¥ ¦ §¨ belongs to a certain class of Boolean functions or whether it is far from the...
113
click to vote
LISA
2008
15 years 3 months ago
2008
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
Effective retrieval of court decisions is important. Automatically identifying legal concepts in the decision texts would be very helpful. In this paper we investigate how a stat...
119
Voted
CAV
2007
Springer
15 years 5 months ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
104
Voted
EDM
2008
15 years 2 months ago
2008
In this paper we describe an educational data mining (EDM) case study based on the data collected during the online assessment of students who were able to immediately receive tail...