6020 search results - page 25 / 1204 » A New Approach to Model Counting |
JCC
2000
15 years 1 months ago
2000
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...
ICIP
2002
IEEE
16 years 3 months ago
2002
IEEE
CSCLP
2003
Springer
15 years 7 months ago
2003
Springer
119
Voted
CAIP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...