10289 search results - page 1959 / 2058 » Standard bases in K |
141
click to vote
ATAL
2009
Springer
16 years 27 days ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...
168
click to vote
ESWS
2009
Springer
16 years 27 days ago
2009
Springer
Vocabularies are the building blocks of the Semantic Web providing shared terminological resources for content indexing, information retrieval, data exchange, and content integrati...
186
click to vote
ISVC
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. In this paper, we propose a novel and fast method to localize and track needles during image-guided interventions. Our proposed method is comprised of framework of needle...
149
click to vote
MHCI
2009
Springer
16 years 26 days ago
2009
Springer
As users enter web queries, real-time query expansion (RTQE) interfaces offer suggestions based on an index garnered from query logs. In selecting a suggestion, users can potentia...
177
click to vote
MKM
2009
Springer
16 years 26 days ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...