953 search results - page 72 / 191 » Constraint Based Transformation Theory |
ECOOP
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We present Shekoosh, a novel framework for constraint-based generation of structurally complex inputs of large sizes. Given a Java predicate that represents the desired s...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
In this paper, we consider a cognitive radio (CR) network in which the unlicensed (secondary) users are allowed to concurrently access the spectrum allocated to the licensed (prim...
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
This paper improves recent methods for large scale image search. State-of-the-art methods build on the bag-of-features image representation. We, first, analyze bag-of-features in t...
67
Voted
AMFG
2003
IEEE
15 years 3 months ago
2003
IEEE
Recognition of unfamiliar faces can be severely impaired when two pictures of a face are taken from different camera distances. This effect of perspective transformation may be pr...
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...