4502 search results - page 365 / 901 » Regular Model Checking |
197
click to vote
SBBD
2007
15 years 8 months ago
2007
Abstract. We consider the problem of XML schema evolution preserving the validity of existing documents related to the original schema. The aim of such schema evolution is to fit ...
191
click to vote
AAAI
2006
15 years 8 months ago
2006
This paper presents multi-conditional learning (MCL), a training criterion based on a product of multiple conditional likelihoods. When combining the traditional conditional proba...
143
click to vote
NIPS
2003
15 years 8 months ago
2003
Margin maximizing properties play an important role in the analysis of classi£cation models, such as boosting and support vector machines. Margin maximization is theoretically in...
161
click to vote
ACL
1996
15 years 8 months ago
1996
\Prose rhythm" is a widely observed but scarcely quanti ed phenomenon. We describe an information-theoretic model for measuring the regularity of lexical stress in English te...
159
Voted
RAS
2006
15 years 6 months ago
2006
The M-TRAN is a modular robot capable of both three-dimensional self-reconfiguration and whole body locomotion. Introducing regularity in allowed structures reduced difficulties o...