6978 search results - page 1071 / 1396 » On Proofs in System P |
176
click to vote
ANTS
2006
Springer
15 years 10 months ago
2006
Springer
We provide a modular method for computing the splitting field Kf of an integral polynomial f by suitable use of the byproduct of computation of its Galois group Gf by p-adic Staudu...
158
Voted
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a novel approach to motion synthesis. It is shown that by splitting sequences into segments new sequences can be created with a similar look and feel to the original. C...
189
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
181
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...
191
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Process-aware Information Systems typically log events (e.g., in transaction logs or audit trails) related to the actual business process executions. Proper analysis of these execu...