1021 search results - page 168 / 205 » Concepts in Proof Planning |
166
click to vote
CLEF
2009
Springer
15 years 7 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...
197
click to vote
ECSA
2010
Springer
15 years 7 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...
234
click to vote
CCE
2008
15 years 6 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...
157
click to vote
CORR
2010
Springer
15 years 6 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...
156
click to vote
CORR
2010
Springer
15 years 6 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...