1763 search results - page 176 / 353 » A Formalization of Polytime Functions |
140
click to vote
TNN
2008
15 years 4 months ago
2008
In this paper, we present a novel network to separate mixtures of inputs that have been previously learned. A significant capability of the network is that it segments the componen...
126
click to vote
COMCOM
2000
15 years 4 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
155
click to vote
NGC
1998
Springer
15 years 3 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
173
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
135
click to vote
GI
2010
Springer
15 years 2 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...