2312 search results - page 188 / 463 » Invariance in Property Testing |
121
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Solomonoff completed the Bayesian framework by providing a rigorous, unique, formal, and universal choice for the model class and the prior. We discuss in breadth how and in which...
147
click to vote
ENTCS
2006
15 years 4 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
129
click to vote
JAR
2008
15 years 4 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
139
click to vote
JLP
2008
15 years 4 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...
230
click to vote
IJSEKE
2002
15 years 4 months ago
2002
This paper illustrates a method, called heat, for image indexing based on texture information. The texture's partitioning element is first put into 1-D form and then its Hier...