5550 search results - page 122 / 1110 » Different Approaches to Proof Systems |
165
click to vote
SCCC
1999
IEEE
15 years 10 months ago
1999
IEEE
A model was introduced in [Fraga97] for integrating replication techniques in heterogeneous systems. The model adopts a reflective structure based on the meta-object approach [10]...
183
click to vote
DIM
2005
ACM
15 years 8 months ago
2005
ACM
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...
183
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a novel method of statistical surface-based morphometry based on the use of non-parametric permutation tests. In order to evaluate morphologicaldifferences of brain str...
167
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
Molecular-biological annotation data is continuously being collected, curated and made accessible in numerous public data sources. Integration of this data is a major challenge in ...
157
click to vote
VRST
2006
ACM
16 years 10 days ago
2006
ACM
Virtual environments (VEs) very often contain buildings that have to be navigated by users. In the literature, several navigation aids based on maps have been proposed for VEs, bu...