Sciweavers

3991 search results - page 295 / 799
» Bounding homogeneous models
Sort
View
IANDC
2006
117views more  IANDC 2006»
15 years 6 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
JSC
2006
95views more  JSC 2006»
15 years 6 months ago
Polyhedral conditions for the nonexistence of the MLE for hierarchical log-linear models
We provide a polyhedral description of the conditions for the existence of the maximum likelihood estimate (MLE) for a hierarchical log-linear model. The MLE exists if and only if...
Nicholas Eriksson, Stephen E. Fienberg, Alessandro...
INFORMATICALT
1998
89views more  INFORMATICALT 1998»
15 years 6 months ago
A Mathematical Analysis of an Age-sex-space-structured Population Dynamics Model with Random Mating and Females' Pregnancy
We discuss an age-sex-structured population dynamics deterministic model taking into account random mating of sexes, females’ pregnancy and its dispersal in whole space. This mod...
Vladas Skakauskas
ICASSP
2011
IEEE
14 years 10 months ago
Analysis of the pilot contamination effect in very large multicell multiuser MIMO systems for physical channel models
We consider multicell multiuser MIMO systems with a very large number of antennas at the base station. We assume that the channel is estimated by using uplink training sequences, ...
Hien Quoc Ngo, Thomas L. Marzetta, Erik G. Larsson
CHI
2007
ACM
16 years 7 months ago
Modeling steering within above-the-surface interaction layers
Interaction techniques that utilize the space above the display surface to extend the functionalities of digitized surfaces continue to emerge. In such techniques, movements are c...
Raghavendra S. Kattinakere, Tovi Grossman, Sriram ...