769 search results - page 67 / 154 » Simple Composition of Nets |
IJCNN
2000
IEEE
14 years 2 days ago
2000
IEEE
In the eld of arti cial evolution creating methods to evolve neural networks is an important goal. But how to encode the structure and properties of the neural network in the geno...
INFORMS
1998
13 years 7 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
LAWEB
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
ECCV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Much recent research in human activity recognition has focused on the problem of recognizing simple repetitive (walking, running, waving) and punctual actions (sitting up...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...