9842 search results - page 261 / 1969 » Compositional timing analysis |
149
click to vote
IADIS
2009
15 years 2 months ago
2009
The paper describes a novel rule-based approach to classification of opinion statements on the level of individual sentences. In contrast to existing approaches, the proposed meth...
140
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
In this paper, we present a physics-based deformable model framework for the quantification of shape and motion parameters of the Left Anterior Descending (LAD) coronary artery in ...
140
click to vote
SIBGRAPI
2007
IEEE
15 years 10 months ago
2007
IEEE
Cell segmentation is a challenging problem due to both the complex nature of the cells and the uncertainty present in video microscopy. Manual methods for this purpose are onerous...
137
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
121
click to vote
TGC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...