3218 search results - page 306 / 644 » Timed Extensions for SDL |
168
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—A random testing strategy can be effective at finding faults, but may leave some routines entirely untested if it never gets to call them on objects satisfying their preconditi...
227
click to vote
IJCCBS
2010
15 years 5 months ago
2010
: True random number generators (TRNGs) are extensively used in cryptography, simulations and statistics. In this work, we introduce, extend and analyse the concept of the randomis...
179
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
136
click to vote
ACL
2010
15 years 4 months ago
2010
Tree-to-string systems (and their forestbased extensions) have gained steady popularity thanks to their simplicity and efficiency, but there is a major limitation: they are unable...
178
click to vote
BMVC
2010
15 years 4 months ago
2010
Many practical applications require an accurate knowledge of the extrinsic calibration (i.e., pose) of a moving camera. The existing SLAM and structure-from-motion solutions are n...