1581 search results - page 166 / 317 » Mechanizing Inductive Reasoning |
202
click to vote
ILP
2007
Springer
16 years 15 days ago
2007
Springer
Machine-generated documents containing semi-structured text are rapidly forming the bulk of data being stored in an organisation. Given a feature-based representation of such data,...
148
click to vote
ACMMSP
2004
ACM
15 years 11 months ago
2004
ACM
Instruction combining is an optimization to replace a sequence of instructions with a more efficient instruction yielding the same result in a fewer machine cycles. When we use it...
178
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
193
click to vote
KDD
2000
ACM
15 years 10 months ago
2000
ACM
Recent advances in functional brain imaging enable identication of active areas of a brain performing a certain function. Induction of logical formulas describing relations betwee...
166
click to vote
LREC
2008
15 years 7 months ago
2008
Producing machine translation (MT) for the many minority languages in the world is a serious challenge. Minority languages typically have few resources for building MT systems. Fo...