17449 search results - page 526 / 3490 » Availability |
164
click to vote
CAISE
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. Checking requirements is highly desirable but hard to achieve in practice, where only word processors are used in most projects. While in this case reviews are more or le...
177
click to vote
CEEMAS
2003
Springer
16 years 10 days ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
201
click to vote
CLEF
2003
Springer
16 years 10 days ago
2003
Springer
Fusion and optimization based on relevance judgements have proven to be successful strategies in information retrieval. In this year's CLEF campaign we applied these strategi...
120
click to vote
CLEF
2003
Springer
16 years 10 days ago
2003
Springer
We evaluate the feasibility of applying currently available research tools to the problem of cross lingual QA. We establish a task baseline by combining a cross lingual IR system w...
145
click to vote
CMSB
2003
Springer
16 years 10 days ago
2003
Springer
Alternative splicing is a key process in post-transcriptional regulation, by which several kinds of mature RNA can be obtained from the same premessenger RNA. Using a constraint pr...