725 search results - page 136 / 145 » A Model-Based Approach for Developing Vectorial User Interfa... |
BMCBI
2010
13 years 7 months ago
2010
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...
BMCBI
2007
13 years 7 months ago
2007
Background: Traditional HTML interfaces for input to and output from Bioinformatics analysis on the Web are highly variable in style, content and data formats. Combining multiple ...
BMCBI
2010
13 years 7 months ago
2010
Background: Today, data evaluation has become a bottleneck in chromatographic science. Analytical instruments equipped with automated samplers yield large amounts of measurement d...
ASE
2002
13 years 7 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
ACMDIS
2004
ACM
14 years 1 months ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...