Sciweavers

2312 search results - page 47 / 463
» Invariance in Property Testing
Sort
View
AMC
2004
95views more  AMC 2004»
13 years 9 months ago
On lacunary invariant sequence spaces defined by a sequence of modulus functions
Abstract. The purpose of this paper is to introduce and study some sequence spaces which are defined by combining the concepts of lacunary convergence, invariant mean and the seque...
Vatan Karakaya, Necip Simsek
IANDC
2006
117views more  IANDC 2006»
13 years 10 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
ML
2002
ACM
107views Machine Learning» more  ML 2002»
13 years 9 months ago
Training Invariant Support Vector Machines
Practical experience has shown that in order to obtain the best possible performance, prior knowledge about invariances of a classification problem at hand ought to be incorporated...
Dennis DeCoste, Bernhard Schölkopf
SCAM
2003
IEEE
14 years 3 months ago
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
Matthieu Martel
ECCV
2006
Springer
14 years 11 months ago
Degen Generalized Cylinders and Their Properties
Generalized cylinder (GC) has played an important role in computer vision since it was introduced in the 1970s. While studying GC models in human visual perception of shapes from c...
Liangliang Cao, Jianzhuang Liu, Xiaoou Tang