7988 search results - page 1109 / 1598 » A Useful Undecidable Theory |
210
click to vote
DIAGRAMS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
202
click to vote
ECCV
2008
Springer
15 years 9 months ago
2008
Springer
Confidence measures are crucial to the interpretation of any optical flow measurement. Even though numerous methods for estimating optical flow have been proposed over the last thr...
227
click to vote
EDCC
2008
Springer
15 years 9 months ago
2008
Springer
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
198
click to vote
ER
2008
Springer
15 years 9 months ago
2008
Springer
We address the fundamental question: what does it mean for data in a database to be of high quality? We motivate our discussion with examples, where traditional views on data quali...
180
click to vote
ESEM
2008
ACM
15 years 9 months ago
2008
ACM
Systematic reviews are only as good as the evidence they are based on. It is important, therefore, that users of systematic reviews know how much confidence they can place in the ...