Sciweavers

4255 search results - page 712 / 851
» Database: Models, Languages, Design
Sort
View
JSW
2008
145views more  JSW 2008»
15 years 4 months ago
Analysis and Visualization of Gene Expressions and Protein Structures
This paper describes a web-based interactive framework for the analysis and visualization of gene expressions and protein structures. The formulation of the proposed framework was ...
Ashraf S. Hussein
273
Voted
JDM
2008
112views more  JDM 2008»
15 years 4 months ago
Reverse Engineering from an XML Document into an Extended DTD Graph
The extensible markup language (XML) has become a standard for persistent storage and data interchange via the Internet due to its openness, self-descriptiveness, and flexibility....
Herbert Shiu, Joseph Fong
IPMU
2010
Springer
15 years 3 months ago
Retrieving Texture Images Using Coarseness Fuzzy Partitions
Abstract. In this paper, a Fuzzy Dominant Texture Descriptor is proposed for semantically describing an image. This fuzzy descriptor is defined over a set of fuzzy sets modelling ...
Jesús Chamorro-Martínez, Pedro Manue...
AI
2011
Springer
14 years 12 months ago
First-order logical filtering
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
Afsaneh Shirazi, Eyal Amir
148
Voted
DAC
1998
ACM
15 years 9 months ago
OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer