891 search results - page 131 / 179 » Full Abstraction for PCF |
TVCG
2011
13 years 2 months ago
2011
—Many graph visualization systems use graph hierarchies to organize a large input graph into logical components. These approaches detect features globally in the data and place t...
SEMWEB
2010
Springer
13 years 2 months ago
2010
Springer
The modalities of search and browse dominate current thinking about interaction with the Web. Given the Web's origins as a global hypertext system, it is understandable that t...
SEMWEB
2010
Springer
2010
Springer
Theoretical foundations and engineering tools for building ontologies as reference conceptual models
13 years 2 months ago
Abstract. Perhaps the most fundamental notion underlying the desiderata for a successful Semantic Web is Semantic Interoperability. In this context, ontologies have been more and m...
SIAMMA
2010
13 years 2 months ago
2010
Abstract. In this paper, we derive asymptotic models for the propagation of two and threedimensional gravity waves at the free surface and the interface between two layers of immis...
TCOM
2010
13 years 2 months ago
2010
Abstract--This paper develops an amplify-and-forward relaying scheme for multiuser wireless cooperative networks under frequency-selective block-fading. Single-carrier frequency di...