Sciweavers

349 search results - page 14 / 70
» The Finite and the Infinite
Sort
View
90
Voted
FUIN
2006
125views more  FUIN 2006»
15 years 12 days ago
Associative Omega-product of Processes
The notion of an associative omega-product is applied to processes. Processes are one of the ways to represent behavior of Petri nets. They have been studied for some years as an ...
Roman R. Redziejowski
77
Voted
JSYML
2010
58views more  JSYML 2010»
14 years 7 months ago
On Tao's "finitary" infinite pigeonhole principle
In 2007, Terence Tao wrote on his blog an essay about soft analysis, hard analysis and the finitization of soft analysis statements into hard analysis statements. One of his main ...
Jaime Gaspar, Ulrich Kohlenbach
ICANN
2010
Springer
15 years 1 months ago
Neuro-symbolic Representation of Logic Programs Defining Infinite Sets
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
Ekaterina Komendantskaya, Krysia Broda, Artur S. d...
119
Voted
NETWORKS
2006
15 years 10 days ago
Extreme point characterizations for infinite network flow problems
We study capacitated network flow problems with supplies and demands defined on a countably infinite collection of nodes having finite degree. This class of network flow models in...
H. Edwin Romeijn, Dushyant Sharma, Robert L. Smith
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 15 days ago
On Omega Context Free Languages which are Borel Sets of Infinite Rank
This paper is a continuation of the study of topological properties of omega context free languages (-CFL). We proved in [Topological Properties of Omega Context Free Languages, T...
Olivier Finkel