Sciweavers

266 search results - page 19 / 54
» On asymmetric progress conditions
Sort
View
PTS
2010
140views Hardware» more  PTS 2010»
15 years 4 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»
15 years 6 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»
16 years 8 days 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
15 years 7 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
16 years 1 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...