2586 search results - page 408 / 518 » Automatic Abstraction for Congruences |
109
click to vote
FM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
BILDMED
2007
15 years 1 months ago
2007
Abstract. In the last decades there has been tremendous research towards the design of fully automatic non-rigid registration schemes. However, apart from the ITK based implementat...
DBSEC
2010
15 years 1 months ago
2010
Abstract. Access control mechanisms are used to control which principals (such as users or processes) have access to which resources based on access control policies. To ensure the...
COLING
2008
15 years 1 months ago
2008
This paper describes the supervised acquisition of semantic event frames based pus of biomedical abstracts, in which the biological process of E. coli gene regulation has been lin...
116
click to vote
DAGSTUHL
2007
15 years 1 months ago
2007
Abstract. Increasingly large multimedia databases in life sciences, ecommerce, or monitoring applications cannot be browsed manually, but require automatic knowledge discovery in d...