Sciweavers

63 search results - page 11 / 13
» Symmetry and Consistency
Sort
View
DSMML
2004
Springer
14 years 1 months ago
Transformations of Gaussian Process Priors
Abstract. Gaussian process prior systems generally consist of noisy measurements of samples of the putatively Gaussian process of interest, where the samples serve to constrain the...
Roderick Murray-Smith, Barak A. Pearlmutter
FUN
2010
Springer
240views Algorithms» more  FUN 2010»
14 years 19 days ago
Symmetric Monotone Venn Diagrams with Seven Curves
An n-Venn diagram consists of n curves drawn in the plane in such a way that each of the 2n possible intersections of the interiors and exteriors of the curves forms a connected no...
Tao Cao, Khalegh Mamakani, Frank Ruskey
KBSE
2000
IEEE
14 years 6 days ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
MVA
1996
102views Computer Vision» more  MVA 1996»
13 years 9 months ago
Real-Time Recognition of Signaling Lights in Road Traffic
A method for recognizing signal lights in traffic scenes in real time has been developed. It consists of a set of different feature extraction operations acting as sequential filt...
Lampros Tsinas, Volker Graefe
CGF
2010
111views more  CGF 2010»
13 years 8 months ago
One Point Isometric Matching with the Heat Kernel
A common operation in many geometry processing algorithms consists of finding correspondences between pairs of shapes by finding structure-preserving maps between them. A particul...
Maks Ovsjanikov, Quentin Mérigot, Facundo M...