3353 search results - page 229 / 671 » Laver and set theory |
157
click to vote
ICIP
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper develops a classification algorithm in the framework of spectral graph theory where the underlying manifold of a high dimensional data set is described by a graph. The...
159
click to vote
SEMCO
2007
IEEE
16 years 25 days ago
2007
IEEE
— This paper aims to present ideas to bridge the gap between two conflicting views of information: Shannon information, which is used to model physical layer information, and se...
155
click to vote
AIMS
2007
Springer
16 years 22 days ago
2007
Springer
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
162
click to vote
APN
2007
Springer
16 years 22 days ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
170
click to vote
CONCUR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...