2292 search results - page 187 / 459 » Structure preserving embedding |
137
click to vote
SIGMETRICS
2009
ACM
15 years 10 months ago
2009
ACM
Existing empirical studies of Internet structure and path properties indicate that the Internet is tree-like. This work quantifies the degree to which at least two important Inte...
158
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
125
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
A theory of traces of computations has emerged within the field of coalgebra, via finality in Kleisli categories. In concurrency theory, traces are traditionally obtained from ex...
116
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
117
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
Treatment of general structured information by neural networks is an emerging research topic. Here we show how representations for graphs preserving all the information can be devi...