Sciweavers

1237 search results - page 136 / 248
» Abstract shade trees
Sort
View
NETWORKS
2010
13 years 8 months ago
Network flow spanners
Abstract. In this paper, motivated by applications of ordinary (distance) spanners in communication networks and to address such issues as bandwidth constraints on network links, l...
Feodor F. Dragan, Chenyu Yan
TCSB
2010
13 years 8 months ago
Modelling Self-assembly in BlenX
Abstract. The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by w...
Roberto Larcher, Corrado Priami, Alessandro Romane...
INLG
2010
Springer
13 years 8 months ago
'If you've heard it, you can say it' - Towards an Account of Expressibility
We have begun a project to automatically create the lexico-syntactic resources for a microplanner as a side-effect of running a domain-specific language understanding system. The ...
David McDonald, Charlie Greenbacker
AMAST
2010
Springer
13 years 5 months ago
A Complete Declarative Debugger for Maude
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...
Adrián Riesco, Alberto Verdejo, Narciso Mar...
JSYML
2011
71views more  JSYML 2011»
13 years 5 months ago
The club principle and the distributivity number
Abstract. We give an affirmative answer to Brendle’s and Hruˇs´ak’s question of whether the club principle together with h > ℵ1 is consistent. We work with a class of ax...
Heike Mildenberger