Sciweavers

4270 search results - page 49 / 854
» A Permutation Approach to Validation
Sort
View
DAC
1998
ACM
15 years 4 months ago
A Geographically Distributed Framework for Embedded System Design and Validation
The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple p...
Ken Hines, Gaetano Borriello
DATE
2004
IEEE
117views Hardware» more  DATE 2004»
15 years 3 months ago
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierr...
MEDINFO
2007
139views Healthcare» more  MEDINFO 2007»
15 years 1 months ago
Lessons Learned from Cross-Validating Alignments between Large Anatomical Ontologies
Objectives: To compare the alignments of two large anatomical ontologies (the Foundational Model of Anatomy and GALEN) produced by three ontology alignment systems (AOAS, FALCON a...
Songmao Zhang, Olivier Bodenreider
NIPS
2004
15 years 1 months ago
Validity Estimates for Loopy Belief Propagation on Binary Real-world Networks
We introduce a computationally efficient method to estimate the validity of the BP method as a function of graph topology, the connectivity strength, frustration and network size....
Joris M. Mooij, Hilbert J. Kappen
AUTOMATICA
2007
93views more  AUTOMATICA 2007»
14 years 12 months ago
Development of omni-directional correlation functions for nonlinear model validation
In the present study a set of first order correlation functions are proposed to examine the quality of a wide class of identified nonlinear models. The first order correlation ...
Quan Min Zhu, Li Feng Zhang, Ashley Longden