3639 search results - page 538 / 728 » Provenance as Dependency Analysis |
145
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
? The economic viability of the reusable core-based design paradigm depends on the development of techniques for intellectual property protection. We introduce the first dynamic wa...
147
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...
188
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
176
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
We present a new functional magnetic resonance imaging (fMRI) analysis method that incorporates both spatial and temporal dynamics of bloodoxygen-level dependent (BOLD) signals wit...
184
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Non-linear dimensionality reduction of noisy data is a challenging problem encountered in a variety of data analysis applications. Recent results in the literature show that spect...