7167 search results - page 314 / 1434 » A Technique for Invariant Generation |
175
Voted
CASCON
2007
15 years 9 months ago
2007
Collaborative work on unstructured or semistructured documents, such as in literature corpora or source code, often involves agreed upon templates containing metadata. These templ...
183
click to vote
CADUI
2004
15 years 9 months ago
2004
Abstract This paper shows a technique that allows adaptive user interfaces, spanning multiple devices, to be rendered from the task specification at runtime taking into account the...
199
click to vote
FORTE
2004
15 years 9 months ago
2004
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
216
click to vote
DRR
2008
15 years 8 months ago
2008
Degraded documents are frequently obtained in various situations. Examples of degraded document collections include historical document depositories, document obtained in legal an...
214
Voted
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...