Sciweavers

172 search results - page 21 / 35
» Improving the Time Complexity of Matsui's Linear Cryptanalys...
Sort
View
FGR
2008
IEEE
142views Biometrics» more  FGR 2008»
15 years 6 months ago
Deformable Face Fitting with Soft Correspondence Constraints
Despite significant progress in deformable model fitting over the last decade, the problem of efficient and accurate person-independentface fitting remains a challenging probl...
Jason M. Saragih, Simon Lucey, Jeffrey F. Cohn
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
15 years 5 months ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
GD
2003
Springer
15 years 4 months ago
Track Drawings of Graphs with Constant Queue Number
A k-track drawing is a crossing-free 3D straight-line drawing of a graph G on a set of k parallel lines called tracks. The minimum value of k for which G admits a k-track drawing ...
Emilio Di Giacomo, Henk Meijer
IJCAI
2007
15 years 1 months ago
Memory-Bounded Dynamic Programming for DEC-POMDPs
Decentralized decision making under uncertainty has been shown to be intractable when each agent has different partial information about the domain. Thus, improving the applicabil...
Sven Seuken, Shlomo Zilberstein
COLING
2010
14 years 6 months ago
An Efficient Shift-Reduce Decoding Algorithm for Phrased-Based Machine Translation
In statistical machine translation, decoding without any reordering constraint is an NP-hard problem. Inversion Transduction Grammars (ITGs) exploit linguistic structure and can w...
Yang Feng, Haitao Mi, Yang Liu, Qun Liu