28 search results - page 1 / 6 » A Transformational Approach for Generating Non-linear Invari... |
77
Voted
SAS
2000
Springer
15 years 2 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
AIIA
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In this paper a novel framework for brain classification is proposed in the context of mental health research. A learning by example method is introduced by combining loc...
107
Voted
CAV
2008
Springer
15 years 26 days ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
96
Voted
ICANN
2003
Springer
15 years 4 months ago
2003
Springer
We suggest a new approach to optimize the learning of sparse features under the constraints of explicit transformation symmetries imposed on the set of feature vectors. Given a set...
106
click to vote
INFOCOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— In this paper, we propose a simulation framework, TranSim, that reduces the rate at which packet-events are generated, in order to accelerate large-scale simulation of IP netwo...