10159 search results - page 1634 / 2032 » System Design Validation Using Formal Models |
221
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We propose a new multiple description (MD) coder design based on the Adaptive Multi-Rate Wideband (AMRWB) coder that can support transcoding-free communication between an ad-ho...
185
Voted
BMCBI
2008
15 years 7 months ago
2008
Background: Tissue MicroArray technique is becoming increasingly important in pathology for the validation of experimental data from transcriptomic analysis. This approach produce...
190
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
The tutorial first addresses requirements and semantic problems to integrate digital information into large scale, meaningful networks of knowledge that support not only access to...
175
click to vote
QEST
2006
IEEE
16 years 26 days ago
2006
IEEE
This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, ...
190
click to vote
SAC
2005
ACM
16 years 12 days ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...