4057 search results - page 262 / 812 » Linear combination of transformations |
208
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
150
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The seminal work of Hubel and Wiesel [14] and the vast amount of work that followed it prove that hierarchies of increasingly complex cells play a central role in cortical computa...
151
click to vote
FSE
2008
Springer
15 years 8 months ago
2008
Springer
Consider the permutation S in RC4. Roos pointed out in 1995 that after the Key Scheduling Algorithm (KSA) of RC4, each of the initial bytes of the permutation, i.e., S[y] for smal...
178
click to vote
TVCG
1998
15 years 6 months ago
1998
We describe the design and implementation of a videobasedaugmentedreality system capableof overlayingthreedimensional graphical objects on live video of dynamic environments. The ...
201
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a method to detect characters on signboards in natural scene images. For many applications, both classifier with small computational cost and the efficient feature set,...