5550 search results - page 257 / 1110 » Different Approaches to Proof Systems |
192
click to vote
SKG
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper, evaluation on 7 RDF storage systems with respect to the large data applications is presented. By using the toolkit LUBM-R, 4 different scales of RDF datasets to pro...
147
click to vote
ISWC
2006
IEEE
16 years 19 days ago
2006
IEEE
We report on the results of a user study to investigate the utility of passive haptics for eyes-free numeric entry. This work targets cursorless user interfaces designed for use w...
157
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Information on Web2.0, generated by users of web based services, is both difficult to organize and organic in nature. Content categorization and search in such situation offers cha...
178
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...
182
click to vote
AAAI
2006
15 years 8 months ago
2006
In this paper, we discuss how our work on evaluating Semantic Web knowledge base systems (KBSs) contributes to address some broader AI problems. First, we show how our approach pr...