5863 search results - page 942 / 1173 » On Model-Checking of P Systems |
180
click to vote
HIPEAC
2005
Springer
16 years 3 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...
170
click to vote
LCTRTS
2005
Springer
16 years 2 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...
177
click to vote
SIGIR
2004
ACM
16 years 3 hour 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...
155
click to vote
AMDO
2004
Springer
15 years 12 months 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...
177
click to vote
APN
2004
Springer
15 years 12 months ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...