593 search results - page 30 / 119 » tools 2011 |
121
click to vote
RTA
2011
Springer
14 years 1 months ago
2011
Springer
Given an equational system, completion procedures compute an equivalent and complete (terminating and confluent) term rewrite system. We present a very simple and efficient compl...
151
click to vote
AIIA
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...
119
click to vote
CAEPIA
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. In the last years, cluster based retrieval has been demonstrated as an effective tool for both interactive retrieval and pseudo relevance feedback techniques. In this pa...
159
click to vote
EUROMICRO
2011
IEEE
13 years 10 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
154
click to vote
HUC
2011
Springer
13 years 10 months ago
2011
Springer
We live in a world where many kinds of data about us can be collected and more will be collected as Ubicomp technologies mature. People reflect on this data using different tools ...