Sciweavers

1492 search results - page 298 / 299
» Integrative, model-based engineering design
Sort
View
BMCBI
2006
141views more  BMCBI 2006»
13 years 7 months ago
The use of concept maps during knowledge elicitation in ontology development processes - the nutrigenomics use case
Background: Incorporation of ontologies into annotations has enabled 'semantic integration' of complex data, making explicit the knowledge within a certain field. One of...
Alexander García Castro, Philippe Rocca-Ser...
FAC
2006
122views more  FAC 2006»
13 years 7 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
BMCBI
2004
83views more  BMCBI 2004»
13 years 7 months ago
VKCDB: Voltage-gated potassium channel database
Background: The family of voltage-gated potassium channels comprises a functionally diverse group of membrane proteins. They help maintain and regulate the potassium ion-based com...
Bin Li, Warren J. Gallin
CGF
2004
133views more  CGF 2004»
13 years 7 months ago
SMARTPAPER: An Interactive and User Friendly Sketching System
This paper describes an interactive sketching system for 3D design/modeling that diverts from the conventional menu and button interfaces of CAD tools. The system, dubbed SMARTPAP...
Amit Shesh, Baoquan Chen
JASIS
1998
172views more  JASIS 1998»
13 years 7 months ago
Speech Recognition for a Digital Video Library
The standard method for making the full content of audio and video material searchable and is to annotate it with humangenerated meta-data that describes the content in a way that...
Michael J. Witbrock, Alexander G. Hauptmann