798 search results - page 129 / 160 » Proving More Properties with Bounded Model Checking |
BMCBI
2007
13 years 7 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
TIT
1998
13 years 7 months ago
1998
—Given n discrete random variables = fX1;111; Xng, associated with any subset of f1; 2; 111; ng, there is a joint entropy H(X ) where X = fXi:i 2 g. This can be viewed as a f...
PODS
2008
ACM
14 years 7 months ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
ICANN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Recurrent neural networks (RNNs) have proved effective at one dimensional sequence learning tasks, such as speech and online handwriting recognition. Some of the properti...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
In a wireless communication network different users share a common resource. An objective of radio resource management is to assign the resources in an effective way between the us...