4666 search results - page 804 / 934 » Equations on Timed Languages |
110
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose act...
138
click to vote
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
We present a static index pruning method, to be used in ad-hoc document retrieval tasks, that follows a documentcentric approach to decide whether a posting for a given term shoul...
128
click to vote
CLEF
2006
Springer
15 years 7 months ago
2006
Springer
Having being proposed for the fourth time, the QA at CLEF track has confirmed a still raising interest from the research community, recording a constant increase both in the numbe...
122
click to vote
CLEF
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents Wolverhampton University's participation in the WiQA competition. The method chosen for this task combines a high precision, but low recall information re...
131
click to vote
DEXA
2006
Springer
15 years 7 months ago
2006
Springer
The Business Process Execution Language BPEL4WS has emerged to introduce process dimension in Web Services coordination. At the same time, a lot of needs related to business proces...