5622 search results - page 422 / 1125 » Solving architectural modelling problems using knowledge |
168
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
With advances in hardware, instruction set architectures are undergoing continual evolution. As a result, compilers are under constant pressure to adapt and take full advantage of...
177
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
221
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
One of the most important problems in visual tracking is how to incrementally update the appearance model because the appearance of a target object can be easily changed with time...
223
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
We address the issues of discovering significant binary relationships in transaction datasets in a weighted setting. Traditional model of association rule mining is adapted to han...
184
click to vote
EMNLP
2004
15 years 8 months ago
2004
We perform Noun Phrase Bracketing by using a local, maximum entropy-based tagging model, which produces bracketing hypotheses. These hypotheses are subsequently fed into a reranki...