2288 search results - page 31 / 458 » An integrated system for genetic analysis |
103
click to vote
IV
2000
IEEE
15 years 4 months ago
2000
IEEE
Proper information visualization has always been viewed as an important tool for research. Traditionally, however, it was regarded as only a tool, with information content and vis...
RIAO
2007
15 years 1 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we present a practical experiment of building a service-oriented system upon current web services technologies and bioinformatics middleware. The system allows scie...
GECCO
2008
Springer
15 years 26 days ago
2008
Springer
Single and multi-step time-series predictors were evolved for forecasting minimum bidding prices in a simulated supply chain management scenario. Evolved programs were allowed to ...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...