Sciweavers

266 search results - page 19 / 54
» On asymmetric progress conditions
Sort
View
PTS
2010
140views Hardware» more  PTS 2010»
14 years 8 months ago
More Testable Properties
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
Yliès Falcone, Jean-Claude Fernandez, Thier...
TIT
2008
86views more  TIT 2008»
14 years 9 months ago
On the Minimum Entropy of a Mixture of Unimodal and Symmetric Distributions
Progressive encoding of a signal generally involves an estimation step, designed to reduce the entropy of the residual of an observation over the entropy of the observation itself....
Ting-Li Chen, Stuart Geman
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 3 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
NIPS
2004
14 years 11 months ago
Adaptive Discriminative Generative Model and Its Applications
This paper presents an adaptive discriminative generative model that generalizes the conventional Fisher Linear Discriminant algorithm and renders a proper probabilistic interpret...
Ruei-Sung Lin, David A. Ross, Jongwoo Lim, Ming-Hs...
CHI
2010
ACM
15 years 4 months ago
Embodied social proxy: mediating interpersonal connection in hub-and-satellite teams
Current business conditions have given rise to distributed teams that are mostly collocated except for one remote member. These “hub-and-satellite” teams face the challenge of...
Gina Venolia, John C. Tang, Ruy Cervantes, Sara Bl...