3623 search results - page 665 / 725 » Functionally Modeled User Interfaces |
143
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Array CGH (Comparative Genomic Hybridisation) is a molecular cytogenetic technique for the genome wide detection of chromosomal imbalances. It is based on the cohybrid...
130
click to vote
ASE
2002
15 years 2 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...
126
Voted
JBCS
2002
15 years 2 months ago
2002
Component Based Development (CBD) aims at constructing software through the integration, using interfaces and contracts, between pre-existing components. The main goal of this wor...
167
click to vote
MEDES
2010
ACM
14 years 9 months ago
2010
ACM
This work presents a case of an innovative Brazilian experience of use of free software in public administration as an emergent ecosystem, and the attempt to establish a quality f...
134
click to vote
BIBE
2007
IEEE
15 years 8 months ago
2007
IEEE
—We present an information retrieval model for combining evidence from concept-based semantics, term statistics, and context for improving search precision of genomics literature...