6978 search results - page 1168 / 1396 » On Proofs in System P |
180
click to vote
HIPEAC
2005
Springer
16 years 6 days ago
2005
Springer
This article aims at making iterative optimization practical and usable by speeding up the evaluation of a large range of optimizations. Instead of using a full run to evaluate a s...
163
click to vote
ISW
2005
Springer
16 years 5 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
175
click to vote
LCTRTS
2005
Springer
16 years 5 days ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
179
click to vote
SIGIR
2004
ACM
16 years 3 days ago
2004
ACM
As online document collections continue to expand, both on the Web and in proprietary environments, the need for duplicate detection becomes more critical. The goal of this work i...
156
click to vote
AMDO
2004
Springer
16 years 2 days ago
2004
Springer
Today in many applications the study of human movement using a computer vision and graphics techniques is very useful. One of these applications is the three-dimensional reconstruc...