3342 search results - page 169 / 669 » Symbolic Robustness Analysis |
185
click to vote
EWSN
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. In this paper, we propose and evaluate RIDA, a novel informationdriven architecture for distributed data compression in a sensor network, allowing it to conserve energy a...
169
click to vote
ECAL
2005
Springer
15 years 12 months ago
2005
Springer
An evolutionary reinforcement-learning algorithm, the operation of which was not associated with an optimality condition, was instantiated in an artificial organism. The algorithm ...
190
click to vote
LREC
2008
15 years 7 months ago
2008
This paper presents the sequential evaluation of the question answering system SQuaLIA. This system is based on the same sequential process as most statistical question answering ...
186
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Quantification of different types of cells is often needed for analysis of histological images. In our project, we compute the relative number of proliferating hepatoc...
187
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...