93 search results - page 1 / 19 » Towards Correspondence Carrying Specifications |
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
LREC
2010
13 years 6 months ago
2010
Blog posts containing many personal experiences or perspectives toward specific subjects are useful. Blogs allow readers to interact with bloggers by placing comments on specific ...
MICCAI
2010
Springer
13 years 2 months ago
2010
Springer
Groupwise registration has been widely investigated in recent years due to its importance in analyzing population data in many clinical applications. To our best knowledge, most o...
PRIS
2004
13 years 6 months ago
2004
Information Extraction (IE) from text /web documents has become an important application area of AI. As the number of web sites and documents has grown dramatically, the users need...
SNPD
2003
13 years 6 months ago
2003
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...