1179 search results - page 65 / 236 » Should Superclasses be Abstract |
CAIP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose a framework for fast and automated initialization of segmentation algorithms in Computed Tomography images. Based on the idea that time-consuming voxel classiï...
CAISE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The translation of information between heterogeneous representations is a long standing issue. With the large spreading of cooperative applications fostered by the advent...
ER
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Speciï¬cations of the cor...
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...