3921 search results - page 670 / 785 » Transforming Models with ATL |
CHARME
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
CRYPTO
2005
Springer
14 years 3 months ago
2005
Springer
We identify and fill some gaps with regard to consistency (the extent to which false positives are produced) for public-key encryption with keyword search (PEKS), providing new de...
CVBIA
2005
Springer
14 years 3 months ago
2005
Springer
Standard image based segmentation approaches perform poorly when there is little or no contrast along boundaries of different regions. In such cases, segmentation is largely perfor...
DAWAK
2005
Springer
14 years 3 months ago
2005
Springer
Discovery of frequent patterns is a very important data mining problem with numerous applications. Frequent pattern mining is often regarded as advanced querying where a user speci...
ICCSA
2005
Springer
14 years 3 months ago
2005
Springer
Cryo-electron microscopy has recently been recognized as a useful alternative to obtain three-dimensional density maps of macromolecular complexes, especially when crystallography ...