257 search results - page 16 / 52 » Breaking Robert's Rules |
WEA
2010
Springer
14 years 2 months ago
2010
Springer
We improve on earlier FPT algorithms for computing a rooted maximum agreement forest (MAF) or a maximum acyclic agreement forest (MAAF) of a pair of phylogenetic trees. Their sizes...
LICS
1987
IEEE
13 years 11 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
TAMODIA
2007
13 years 9 months ago
2007
This paper discusses and illustrates work in progress on the MEMO workbench for early model-based usability evaluation of interface designs. Characteristic features of the workbenc...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
In order to preserve our cultural heritage and for automated document processing libraries and national archives have started digitizing historical documents. In the case of degra...
LOPSTR
2001
Springer
14 years 12 days ago
2001
Springer
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...