6583 search results - page 475 / 1317 » Semantic Analysis Patterns |
142
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Nancy Cartwright relies upon an inference pattern known as inference to the best causal explanation (IBCE) to support a limited form of entity realism, according to which we are wa...
185
click to vote
MCS
2008
Springer
15 years 6 months ago
2008
Springer
Dynamical low-rank approximation is a differential-equation based approach to efficiently computing low-rank approximations to time-dependent large data matrices or to solutions o...
220
click to vote
COLING
2008
15 years 5 months ago
2008
The most critical issue in generating and recognizing paraphrases is development of wide-coverage paraphrase knowledge. Previous work on paraphrase acquisition has collected lexic...
328
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
183
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...