2740 search results - page 281 / 548 » A Model-Based Approach To Requirements Analysis |
142
click to vote
TSE
1998
15 years 3 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
135
click to vote
BIBM
2008
IEEE
15 years 10 months ago
2008
IEEE
— Protein sequence motifs information is crucial to the analysis of biologically significant regions. The conserved regions have the potential to determine the role of the protei...
141
click to vote
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
116
click to vote
IJCV
2006
15 years 3 months ago
2006
Dynamic analysis of video sequences often relies on the segmentation of the sequence into regions of consistent motions. Approaching this problem requires a definition of which mo...
160
Voted
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— A number of recent results on optimization problems involving submodular functions have made use of the ”multilinear relaxation” of the problem [3], [8], [24], [14]...