1397 search results - page 165 / 280 » On the Need for Practical Formal Methods |
110
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
We consider probabilistic methods to compute the near midair collision risk using state estimate and covariance from a target tracking filter based on angle-only sensors such as ...
144
Voted
LSO
2004
Springer
15 years 10 months ago
2004
Springer
The need for organizational learning support is common among all software development companies but is not addressed by agile software methods practitioners. The typical Experience...
140
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We study the problem of multimodal dimensionality reduction assuming that data samples can be missing at training time, and not all data modalities may be present at appl...
125
Voted
ECSQARU
2001
Springer
15 years 9 months ago
2001
Springer
Abstract A (general) preferential entailment is defined by a “preference relation” among “states”. States can be either interpretations or sets of interpretations, or “c...
129
click to vote
DATE
1999
IEEE
15 years 9 months ago
1999
IEEE
In the reuse domain, the necessity of finding a new, more suitable description language opposes the need to make reuse an accepted practice, and thus related to standards. This pa...