Sciweavers

29046 search results - page 266 / 5810
» Computable Models
Sort
View

Book
374views
17 years 3 months ago
Computer Vision
The book covers the fundamental computer vision techniques such as template matching histogram transformations, background subtraction, filtering and reflectance models, edge detec...
Dana H. Ballard, Christopher M. Brown
TCC
2009
Springer
131views Cryptology» more  TCC 2009»
16 years 4 months ago
Secure Computability of Functions in the IT Setting with Dishonest Majority and Applications to Long-Term Security
It is well known that general secure function evaluation (SFE) with information-theoretical (IT) security is infeasible in presence of a corrupted majority in the standard model. ...
Robin Künzler, Jörn Müller-Quade, D...
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
15 years 10 months ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
COMPGEOM
2001
ACM
15 years 7 months ago
PRECISE: efficient multiprecision evaluation of algebraic roots and predicates for reliable geometric computation
: Many geometric problems like generalized Voronoi diagrams, medial axis computations and boundary evaluation involve computation and manipulation of non-linear algebraic primitive...
Shankar Krishnan, Mark Foskey, Tim Culver, John Ke...
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 4 months ago
Abstract Fixpoint Computations with Numerical Acceleration Methods
Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou1 , Yassamine Seladji1 CEA, LIST, Laboratory for the Modeling and Analysis of Interacting Systems 91191 Gi...
Olivier Bouissou, Yassamine Seladji, Alexandre Cha...