4987 search results - page 780 / 998 » Fuzzifying P Systems |
162
click to vote
ISW
2005
Springer
16 years 10 hour 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 ...
168
click to vote
LCTRTS
2005
Springer
16 years 7 hour 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...
173
click to vote
SIGIR
2004
ACM
15 years 12 months 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...
176
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...