Sciweavers

3335 search results - page 416 / 667
» Grid result checking
Sort
View
OWLED
2008
15 years 8 months ago
Owlgres: A Scalable OWL Reasoner
Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking...
Markus Stocker, Michael Smith
BILDMED
2006
163views Algorithms» more  BILDMED 2006»
15 years 8 months ago
CLARET: A Tool for Fully Automated Evaluation of MRSI with Pattern Recognition Methods
Abstract. Magnetic Resonance Spectroscopic Imaging (MRSI) measures relative concentrations of metabolites in vivo and can thus be used for the diagnosis of certain tumors. We intro...
B. Michael Kelm, Bjoern H. Menze, T. Neff, Christi...
CCCG
2006
15 years 8 months ago
K-Nearest Neighbor Search using the Pyramid Technique
A k-nearest neighbor search algorithm for the Pyramid technique is presented. The Pyramid technique divides d-dimensional data space into 2d pyramids. Given a query point q, we in...
Bradford G. Nickerson, Qingxiu Shi
CSREAPSC
2006
15 years 8 months ago
Mobile Access to Web Systems Using a Multi-device Interface Design Approach
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
Rodrigo de Oliveira, Heloisa Vieira da Rocha
DAGSTUHL
2003
15 years 8 months ago
Deciding Properties of Message Sequence Charts
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
Anca Muscholl, Doron Peled