2794 search results - page 325 / 559 » A New Architecture for Automated Modelling |
135
click to vote
APCCM
2004
15 years 8 months ago
2004
A person working with diverse information sources--with possibly different formats and information models--may recognize and wish to express conceptual structures that are not exp...
204
click to vote
ISPASS
2006
IEEE
16 years 19 days ago
2006
IEEE
Applications in Computer Networks often require high throughput access to large data structures for lookup and classification. Many advanced algorithms exist to speed these searc...
184
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Modeling cancer-related regulatory modules from gene expression profiling of cancer tissues is expected to contribute to our understanding of cancer biology as well as...
170
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
170
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...