1985 search results - page 235 / 397 » Multiresolution Analysis of Connectivity |
148
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
113
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
129
Voted
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
105
Voted
FCT
2007
Springer
15 years 9 months ago
2007
Springer
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...
104
Voted
ISI
2007
Springer
15 years 9 months ago
2007
Springer
Graph data represents relationships, connections, or affinities. Innocent relationships produce repeated, and so common, substructures in graph data. We present techniques for dis...