593 search results - page 30 / 119 » tools 2011 |
170
Voted
RTA
2011
Springer
14 years 6 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...
202
Voted
AIIA
2011
Springer
14 years 3 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 ...
158
Voted
CAEPIA
2011
Springer
14 years 3 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...
205
Voted
EUROMICRO
2011
IEEE
14 years 3 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 ...
204
Voted
HUC
2011
Springer
14 years 3 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 ...