Sciweavers

2312 search results - page 47 / 463
» Invariance in Property Testing
Sort
View
64
Voted
AMC
2004
95views more  AMC 2004»
15 years 10 days 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
125
Voted
IANDC
2006
117views more  IANDC 2006»
15 years 14 days 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»
15 years 3 days 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
15 years 5 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
91
Voted
ECCV
2006
Springer
16 years 2 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