Sciweavers

2550 search results - page 128 / 510
» The Meaning of Open Standards
Sort
View
WWW
2003
ACM
16 years 7 months ago
Three theses of representation in the semantic web
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
Ian Horrocks, Peter F. Patel-Schneider
VTC
2006
IEEE
124views Communications» more  VTC 2006»
16 years 14 days ago
Iterative Partial-Cancelling MMSE Algorithms for W-CDMA MIMO-BLAST Systems
—This paper focuses on the usage of an enhanced equalization-based receiver for WCDMA (Wideband CodeDivision Multiple Access) MIMO (Multiple Input, Multiple Output) BLAST (Bell L...
João Carlos Silva, Rui Dinis, Nuno Souto, F...
IUI
2004
ACM
15 years 12 months ago
An intelligent dialogue for online rule based expert systems
This paper describes a concept for creating free configurable, intelligent behaving web dialogues for rule based expert systems. Free configurable is meant to indicate, that the d...
Sascha Mertens, Marius Rosu, Yuliadi Erdani
CADE
2004
Springer
15 years 12 months ago
Modular Proof Systems for Partial Functions with Weak Equality
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
Harald Ganzinger, Viorica Sofronie-Stokkermans, Uw...
MICCAI
2001
Springer
15 years 11 months ago
Quantifying Small Changes in Brain Ventricular Volume Using Non-rigid Registration
Abstract. Non-rigid registration can automatically quantify small changes in volume of anatomical structures over time by means of segmentation propagation. Here we use a non-rigid...
Mark Holden, Julia A. Schnabel, Derek L. G. Hill