10891 search results - page 101 / 2179 » Combining Model Reductions |
126
click to vote
APBC
2004
15 years 4 months ago
2004
The conserved sequences in gene regulatory regions dominate gene regulation. Discovering these sequences and their functions is important in post genome era. A novel model is cons...
114
click to vote
SERP
2004
15 years 4 months ago
2004
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...
124
click to vote
ICCBR
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents an algorithm called IBP that combines case-based and model-based reasoning for an interpretive CBR application, predicting the outcome of legal cases. IBP uses ...
101
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
With aggressive gate oxide scaling, latent defects in the gate oxide manifest as traps that, in time, lead to gate oxide breakdown. Progressive gate oxide breakdown, also referred...
131
click to vote
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...