1116 search results - page 137 / 224 » Applying Predicate Abstraction to Abstract State Machines |
TWC
2008
14 years 11 months ago
2008
Abstract--The capacity of a general multiuser CDMA jamming channel is analyzed when the receiver has or lacks jammer state information. Analyses are carried out for noncooperative ...
EGC
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. In this article we consider objects for which we have a matrix of dissimilarities and we are interested in their links with covariates. We focus on state sequences for wh...
ESWS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
ECML
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The paper investigates modification of backpropagation algorithm, consisting of discretization of neural network weights after each training cycle. This modification, a...
SC
2004
ACM
15 years 4 months ago
2004
ACM
Previous experiments with high-performance Java were initially disappointing. After several years of optimization, this paper investigates the current suitability of such object-o...