Annual Report 2002 - ERCIM
Annual Report 2002 - ERCIM
Annual Report 2002 - ERCIM
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
30<br />
software renovation<br />
software specification,<br />
analysis and testing<br />
structured<br />
documentation<br />
trace analysis<br />
theory of computation (2000 ACM F)<br />
computer arithmetic<br />
concurrency<br />
correctness proofs and<br />
verification<br />
cryptography,<br />
complexity and security<br />
DNA computing<br />
formal methods<br />
fuzzy logics<br />
neurocomputing<br />
quantum computing<br />
information systems (2000 ACM H)<br />
coding, indexing and<br />
retrieval<br />
data mining<br />
design and analysis of<br />
dependable systems<br />
(cultural) information<br />
systems<br />
geographical<br />
information systems<br />
knowledge<br />
management<br />
man machine<br />
interaction<br />
multimedia databases<br />
telematics in<br />
transportation and<br />
logistics<br />
computing methodologies (2000 ACM I)<br />
autonomous systems<br />
dual dynamics<br />
evolutionary algorithms<br />
facial and physically<br />
based computer<br />
animation<br />
hypertext and<br />
hypermedia<br />
image analysis<br />
information<br />
visualisation<br />
language engineering<br />
machine learning<br />
metacomputing<br />
requirements<br />
engineering<br />
reverse engineering<br />
robotics and intelligent<br />
vehicles<br />
speech<br />
visualisation and virtual<br />
reality<br />
AARIT CLRC CNR CRCIM CWI FORTH FNR FhG INRIA NTNU SARIT SICS SRCIM SZTAKI TCD VTT
Change language