6800 search results - page 542 / 1360 » Testing with Functions as Specifications |
247
click to vote
FGR
2011
IEEE
14 years 11 months ago
2011
IEEE
Abstract— We propose a system for human computer interaction via 3D hand movements, based on a combination of visual tracking and a cheap, off-the-shelf, accelerometer. We use a ...
203
click to vote
CVPR
2010
IEEE
16 years 4 months ago
2010
IEEE
We present an algorithm that learns invariant features from real data in an entirely unsupervised fashion. The principal benefit of our method is that it can be applied without hu...
239
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
218
click to vote
USS
2008
15 years 10 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
157
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: The main two sorts of automatic gene annotation frameworks are ab initio and alignment-based, the latter splitting into two sub-groups. The first group is used for int...