Sciweavers

3147 search results - page 442 / 630
» Statistically Hiding Sets
Sort
View
MOBIHOC
2008
ACM
16 years 6 months ago
Cooperative transmit-power estimation under wireless fading
We study blind estimation of transmission power of a node based on received power measurements obtained under wireless fading. Specifically, the setup consists of a set of monitor...
Murtaza Zafer, Bongjun Ko, Ivan Wang Hei Ho
VMCAI
2010
Springer
16 years 3 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
143
Voted
ICCAD
2006
IEEE
93views Hardware» more  ICCAD 2006»
16 years 3 months ago
Precise identification of the worst-case voltage drop conditions in power grid verification
– Identifying worst-case voltage drop conditions in every module supplied by the power grid is a crucial problem in modern IC design. In this paper we develop a novel methodology...
Nestoras E. Evmorfopoulos, Dimitris P. Karampatzak...
ICCAD
2005
IEEE
81views Hardware» more  ICCAD 2005»
16 years 3 months ago
Kauffman networks: analysis and applications
Abstract— A Kauffman network is an abstract model of gene regulatory networks. Each gene is represented by a vertex. An edge from one vertex to another implies that the former ge...
Elena Dubrova, Maxim Teslenko, Andrés Marti...
IUI
2009
ACM
16 years 3 months ago
A multimedia interface for facilitating comparisons of opinions
Written opinion on products and other entities can be important to consumers and researchers, but expensive and difficult to analyze. We present a multimedia interface designed t...
Giuseppe Carenini, Lucas Rizoli