Sciweavers

6045 search results - page 232 / 1209
» Computable Linearizations of Well-partial-orderings
Sort
View
FOCS
1996
IEEE
14 years 15 days ago
A Polynomial-Time Algorithm for Learning Noisy Linear Threshold Functions
Avrim Blum, Alan M. Frieze, Ravi Kannan, Santosh V...
ECCV
1994
Springer
14 years 13 days ago
Determination of Optical Flow and its Discontinuities using Non-Linear Diffusion
Marc Proesmans, Luc J. Van Gool, Eric J. Pauwels, ...
TLCA
1993
Springer
14 years 12 days ago
A Term Calculus for Intuitionistic Linear Logic
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, ...
FOCS
1990
IEEE
14 years 11 days ago
Decision Problems for Propositional Linear Logic
Patrick Lincoln, John C. Mitchell, Andre Scedrov, ...
FOCS
1995
IEEE
13 years 12 months ago
Linearity Testing in Characteristic Two
Mihir Bellare, Don Coppersmith, Johan Håstad...