4250 search results - page 400 / 850 » Understanding the Requirements on Modelling Techniques |
211
Voted
ICIAP
2001
Springer
16 years 7 months ago
2001
Springer
We propose a novel representation for characterizing image differences using a deformable technique for obtaining pixel-wise correspondences. This representation, which is based o...
283
Voted
SAC
2008
ACM
15 years 7 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
220
Voted
ACMSE
2004
ACM
16 years 1 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
193
click to vote
SIGSOFT
2003
ACM
16 years 29 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
198
click to vote
ECCV
2006
Springer
16 years 9 months ago
2006
Springer
We consider the problem of tracking a given set of point features over large sequences of image frames. A classic procedure for monitoring the tracking quality consists in requirin...