Sciweavers

5105 search results - page 323 / 1021
» Approximate Structural Consistency
Sort
View
VAMOS
2008
Springer
15 years 8 months ago
Variability Management on Behavioral Models
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
Patrick Tessier, David Servat, Sébastien G&...
AML
2010
98views more  AML 2010»
15 years 6 months ago
Small universal families for graphs omitting cliques without GCH
When no single universal model for a set of structures exists at a given cardinal, then one may ask in which models of set theory does there exist a small family which embeds the r...
Katherine Thompson
DM
2010
97views more  DM 2010»
15 years 6 months ago
Random preorders and alignments
A preorder consists of linearly ordered equivalence classes called blocks, and an alignment is a sequence of cycles on n labelled elements. We investigate the block structure of a...
Peter J. Cameron, Mihyun Kang, Dudley Stark
AML
2008
84views more  AML 2008»
15 years 5 months ago
Model theory of the regularity and reflection schemes
Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...
Ali Enayat, Shahram Mohsenipour
CORR
2010
Springer
188views Education» more  CORR 2010»
15 years 6 months ago
A unified framework for high-dimensional analysis of $M$-estimators with decomposable regularizers
High-dimensional statistical inference deals with models in which the the number of parameters p is comparable to or larger than the sample size n. Since it is usually impossible ...
Sahand Negahban, Pradeep Ravikumar, Martin J. Wain...