12052 search results - page 667 / 2411 » computing 2010 |
143
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
188
click to vote
AAAI
2010
15 years 8 months ago
2010
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
167
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
188
click to vote
AAECC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present new faster deterministic and probabilistic recombination algorithms to compute the irreducible decomposition of a bivariate polynomial via the classical Hensel...
190
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: Visual Cryptography is a secret sharing scheme that uses the human visual system to perform computations. This paper presents a recursive hiding scheme for 3 out of 5 secret shar...