4099 search results - page 426 / 820 » First Class Patterns |
232
click to vote
LOGCOM
2010
15 years 1 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
177
click to vote
PC
2010
15 years 1 months ago
2010
We present an efficient implementation of the Modified SParse Approximate Inverse (MSPAI) preconditioner. MSPAI generalizes the class of preconditioners based on Frobenius norm mi...
155
click to vote
TSP
2010
15 years 1 months ago
2010
Abstract--We present a constructive algorithm for the design of real lapped equal-norm tight frame transforms. These transforms can be efficiently implemented through filter banks ...
262
click to vote
EICS
2011
ACM
14 years 10 months ago
2011
ACM
Although reactive and graphically rich interfaces are now mainstream, their development is still a notoriously difficult task. This paper presents Hayaku, a toolset that supports...
192
click to vote
ICCV
2009
IEEE
16 years 12 months ago
2009
IEEE
We present a fast and robust system for estimating structure
and motion using a stereo pair, with straight lines as
features. Our first set of contributions are efficient algorit...