1228 search results - page 31 / 246 » Continuations, proofs and tests |
IEEEPACT
2009
IEEE
14 years 2 months ago
2009
IEEE
—Software testing is hard. The emergence of multicore architectures and the proliferation of bugprone multithreaded software makes testing even harder. To this end, researchers h...
ICML
2006
IEEE
14 years 8 months ago
2006
IEEE
Semi-Supervised Support Vector Machines (S3 VMs) are an appealing method for using unlabeled data in classification: their objective function favors decision boundaries which do n...
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
UIST
2000
ACM
14 years 8 days ago
2000
ACM
Existing devices for communicating information to computers are bulky, slow to use, or unreliable. Dasher is a new interface incorporating language modelling and driven by continu...
EOR
2008
13 years 8 months ago
2008
We suggest a new heuristic for solving unconstrained continuous optimization problems. It is based on a generalized version of the variable neighborhood search metaheuristic. Diff...