497 search results - page 15 / 100 » Overview of QAST 2008 |
ICEIS
2008
IEEE
15 years 4 months ago
2008
IEEE
CEC
2008
IEEE
14 years 11 months ago
2008
IEEE
ENTCS
2008
14 years 10 months ago
2008
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysi...
TREC
2004
14 years 11 months ago
2004
TREC 2004 marks the third and final year for the novelty track. The task is as follows: Given a TREC topic and an ordered list of documents, systems must find the relevant and nov...
CJ
2008
14 years 10 months ago
2008
A survey of the most important and general techniques in parameterized algorithm design is given. Each technique is explained with a meta-algorithm, its use is illustrated by exam...