Sciweavers

1249 search results - page 128 / 250
» Limitations of the Even-Mansour Construction
Sort
View
138
Voted
ENTCS
2006
124views more  ENTCS 2006»
15 years 1 months ago
Generic Trace Theory
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
JGTOOLS
2008
100views more  JGTOOLS 2008»
15 years 1 months ago
Proximity Cluster Trees
Hierarchical spatial data structures provide a means for organizing data for efficient processing. Most spatial data structures are optimized for performing queries, such as inters...
Elena Jakubiak Hutchinson, Sarah F. Frisken, Ronal...
JAPLL
2006
114views more  JAPLL 2006»
15 years 1 months ago
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
Bruno Courcelle
CVIU
2007
152views more  CVIU 2007»
15 years 1 months ago
Vision-based human motion analysis: An overview
Markerless vision-based human motion analysis has the potential to provide an inexpensive, non-obtrusive solution for the estimation of body poses. The significant research effo...
Ronald Poppe
JMLR
2006
143views more  JMLR 2006»
15 years 1 months ago
Consistency and Convergence Rates of One-Class SVMs and Related Algorithms
We determine the asymptotic behaviour of the function computed by support vector machines (SVM) and related algorithms that minimize a regularized empirical convex loss function i...
Régis Vert, Jean-Philippe Vert