631 search results - page 69 / 127 » Deriving Specifications from Requirements: An Example |
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a novel computational framework for characterizing signal in brain images via nonlinear pairing of critical values of the signal. Among the astronomically larg...
BMCBI
2006
14 years 12 months ago
2006
Background: Current genomic research methods provide researchers with enormous amounts of data. Combining data from different high-throughput research technologies commonly availa...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Lambert's model is widely used in low level computer vision algorithms such as matching, tracking or optical flow computation for example. However, it is well known that thes...
MDM
2004
Springer
15 years 5 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
WOSP
2010
ACM
15 years 4 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...