2740 search results - page 394 / 548 » A Model-Based Approach To Requirements Analysis |
128
click to vote
SSDBM
2003
IEEE
15 years 8 months ago
2003
IEEE
With increased demand for storage of scientific data comes a corresponding demand for efficient retrieval mechanisms necessary for analytical and reporting purposes. As is often...
115
click to vote
MIR
2003
ACM
15 years 8 months ago
2003
ACM
Automatic semantic annotation of sports video requires that the domain knowledge is properly included and exploited in the annotation process and that low and intermediate-level f...
137
click to vote
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
100
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper unifies two recent strands of research in multiagent system design. One, commitments are widely recognized as capturing important aspects of interactions among agents,...
118
Voted
IDA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper introduces a novel method for processing spotted microarray images, inspired from image reconstruction. Instead of the usual approach that focuses on the signa...