1288 search results - page 241 / 258 » On Analysis of Design Component Contracts: A Case Study |
133
click to vote
HYBRID
1998
Springer
15 years 5 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
109
click to vote
VIP
2003
15 years 2 months ago
2003
Using different algorithms to segment different images is a quite straightforward strategy for automated image segmentation. But the difficulty of the optimal algorithm selection ...
134
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Modelling the ligand binding site of a protein is an important component of understanding proteinligand interactions and is being actively studied. Even if the side ch...
120
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Drug-drug interactions are frequently reported in the increasing amount of biomedical literature. Information Extraction (IE) techniques have been devised as a useful ...
126
click to vote
EM
2010
15 years 1 months ago
2010
In this paper we enumerate and classify the "simplest" pairs (M, G) where M is a closed orientable 3-manifold and G is a trivalent graph embedded in M. To enumerate the p...