Sciweavers

4635 search results - page 218 / 927
» Modeling Design Knowledge on Structure
Sort
View
153
Voted
IEAAIE
1994
Springer
15 years 7 months ago
Applying Blackboard Techniques to Real-Time Signal Processing and Multimedia Network Management
Two recent projects at ORA have used a blackboard framework during system design.1 DANA is a multimedia network monitoring system, while MARRS is a real-time passive radar system....
Randall J. Calistri-Yeh
124
Voted
BMCBI
2007
112views more  BMCBI 2007»
15 years 3 months ago
PFAAT version 2.0: A tool for editing, annotating, and analyzing multiple sequence alignments
Background: By virtue of their shared ancestry, homologous sequences are similar in their structure and function. Consequently, multiple sequence alignments are routinely used to ...
Daniel R. Caffrey, Paul H. Dana, Vidhya Mathur, Ma...
101
Voted
DATE
2004
IEEE
128views Hardware» more  DATE 2004»
15 years 7 months ago
Enhanced Diameter Bounding via Structural
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
Jason Baumgartner, Andreas Kuehlmann
109
Voted
BMCBI
2008
112views more  BMCBI 2008»
15 years 3 months ago
GlycomeDB - integration of open-access carbohydrate structure databases
Background: Although carbohydrates are the third major class of biological macromolecules, after proteins and DNA, there is neither a comprehensive database for carbohydrate struc...
René Ranzinger, Stephan Herget, Thomas Wett...
139
Voted
CIMCA
2006
IEEE
15 years 9 months ago
From the OntoBayes Model to a Service Oriented Decision Support System
The aim of this paper is to propose a service oriented decision support system based on an ontology-driven uncertainty model (OntoBayes). OntoBayes consists of knowledge and decis...
Yi Yang, Jacques Calmet