1562 search results - page 196 / 313 » Convenience Over Correctness |
MOMPES
2009
IEEE
15 years 4 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
CIKM
2009
Springer
2009
Springer
Improving retrievability of patents with cluster-based pseudo-relevance feedback documents selection
15 years 4 months ago
High findability of documents within a certain cut-off rank is considered an important factor in recall-oriented application domains such as patent or legal document retrieval. ...
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Many computational problems linked to reasoning under uncertainty can be expressed in terms of computing the marginal(s) of the combination of a collection of (local) valuation fun...
MKM
2009
Springer
15 years 4 months ago
2009
Springer
Many approaches have been proposed over the years for the recognition of mathematical formulae from scanned documents. More recently a need has arisen to recognise formulae from PD...