12774 search results - page 2461 / 2555 » A Framework for Proof Systems |
207
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Discovering the correct dataset efficiently is critical for computations and effective simulations in scientific experiments. In contrast to searching web documents over the Intern...
169
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
This paper details the behavioral evaluation of a qualitative image categorisation and retrieval approach using semantic features of images. Content based image retrieval and class...
168
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--In this paper we describe an LTE based demonstrator of the Universal Link Layer API (ULLA) and Cognitive Resource Manager (CRM) modules that are developed in ARAGORN proj...
178
click to vote
CLUSTER
2009
IEEE
15 years 4 months ago
2009
IEEE
GPUs have recently evolved into very fast parallel co-processors capable of executing general purpose computations extremely efficiently. At the same time, multi-core CPUs evolutio...
211
click to vote
ECIR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...