1021 search results - page 168 / 205 » Concepts in Proof Planning |
CLEF
2009
Springer
13 years 11 months ago
2009
Springer
In this paper we report the experiments for the CLEF 2009 Robust-WSD task, both for the monolingual (English) and the bilingual (Spanish to English) subtasks. Our main experimenta...
ECSA
2010
Springer
13 years 11 months ago
2010
Springer
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
CCE
2008
13 years 10 months ago
2008
Deterministic optimization approaches have been well developed and widely used in the process industry to accomplish off-line and on-line process optimization. The challenging tas...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The Privacy Coach is an application running on a mobile phone that supports customers in making privacy decisions when confronted with RFID tags. The approach we take to increase c...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
As mobile devices with positioning capabilities continue to proliferate, data management for so-called trajectory databases that capture the historical movements of populations of...