Sciweavers

2972 search results - page 455 / 595
» Mapping New Territories
Sort
View
86
Voted
BTW
2003
Springer
92views Database» more  BTW 2003»
15 years 6 months ago
A Logical, Transparent Model for Querying Linked XML Documents
Abstract:The W3C XML Linking Language (XLink) provides a powerful means for interlinking XML documents all over the world. While the effects when browsing through linked XML docume...
Wolfgang May, Dimitrio Malheiro
77
Voted
DSVIS
2003
Springer
15 years 6 months ago
Functionally Modeled User Interfaces
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
Antony Courtney
134
Voted
EGH
2003
Springer
15 years 6 months ago
GPU algorithms for radiosity and subsurface scattering
We capitalize on recent advances in modern programmable graphics hardware, originally designed to support advanced local illumination models for shading, to instead perform two di...
Nathan A. Carr, Jesse D. Hall, John C. Hart
104
Voted
EUROPAR
2003
Springer
15 years 6 months ago
Parallel ScaLAPACK-Style Algorithms for Solving Continuous-Time Sylvester Matrix Equations
An implementation of a parallel ScaLAPACK-style solver for the general Sylvester equation, op(A)X −Xop(B) = C, where op(A) denotes A or its transpose AT , is presented. The paral...
Robert Granat, Bo Kågström, Peter Porom...
108
Voted
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 6 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang