130 search results - page 16 / 26 » Materialization and Its Metaclass Implementation |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract—Phylogenetic networks are a generalization of phylogenetic trees that allow for the representation of non-treelike evolutionary events, like recombination, hybridization...
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
13 years 7 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
TDSC
2008
13 years 7 months ago
2008
Inspired by unidirectional error detecting codes that are used in situations where only one kind of bit error is possible (e.g., it is possible to change a bit "0" into a...
SIAMIS
2010
13 years 6 months ago
2010
We consider the inverse problem of reconstructing thin tubular inclusions inside some three-dimensional body from measurements of electrostatic currents and potentials on its bound...
VLDB
1987
ACM
13 years 11 months ago
1987
ACM
This paper reports on an implementation of Bayer's Time Interval concurrency control method and compares it to the performance of a conventional timestamp method. The impleme...