12 search results - page 3 / 3 » A Comparison of Three Model Checkers Applied to a Distribute... |
RECOMB
2004
Springer
14 years 5 months ago
2004
Springer
Finding recurring residue packing patterns, or spatial motifs, that characterize protein structural families is an important problem in bioinformatics. To this end, we apply a nov...
CIKM
2006
Springer
13 years 9 months ago
2006
Springer
Domain specific information retrieval has become in demand. Not only domain experts, but also average non-expert users are interested in searching domain specific (e.g., medical a...