Sciweavers

2516 search results - page 31 / 504
» When is there a representer theorem
Sort
View
SLOGICA
2008
73views more  SLOGICA 2008»
15 years 6 months ago
Some Aspects of Polyadic Inductive Logic
We give a brief account of some de Finetti style representation theorems for probability functions satisfying Spectrum Exchangeability in Polyadic Inductive Logic, together with ap...
Jürgen Landes, Jeff B. Paris, Alena Vencovsk&...
ECCC
1998
118views more  ECCC 1998»
15 years 5 months ago
Chinese Remaindering with Errors
The Chinese Remainder Theorem states that a positive integer m is uniquely speci ed by its remainder modulo k relatively prime integers p1;:::;pk, provided m < Qk i=1 pi. Thus ...
Oded Goldreich, Dana Ron, Madhu Sudan
FAC
2000
114views more  FAC 2000»
15 years 6 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
ECCV
2010
Springer
15 years 11 months ago
A Streakline Representation of Flow in Crowded Scenes
Based on the Lagrangian framework for fluid dynamics, a streakline representation of flow is presented to solve computer vision problems involving crowd and traffic flow. Streakl...
Ramin Mehran, Brian E. Moore, Mubarak Shah
JSYML
2008
74views more  JSYML 2008»
15 years 6 months ago
Omitting types for finite variable fragments and complete representations of algebras
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
Tarek Sayed Ahmed, Hajnal Andréka, Istv&aac...