6358 search results - page 323 / 1272 » Computing spectral sequences |
180
click to vote
SP
2006
IEEE
16 years 22 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
160
click to vote
WEBI
2004
Springer
16 years 2 days ago
2004
Springer
Web Intelligence is a direction for scientific research that explores practical applications of Artificial Intelligence to the next generation of Web-empowered systems. In this ...
180
click to vote
DAGM
2003
Springer
15 years 12 months ago
2003
Springer
We present an approach to parallel variational optical flow computation by using an arbitrary partition of the image plane and iteratively solving related local variational proble...
163
click to vote
IDA
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents an alternative to distance-based neural networks. A distance measure is the underlying property on which many neural models rely, for example self-organizing ma...
178
click to vote
PDPTA
2007
15 years 8 months ago
2007
- Multi-core chips present a new computing environment that can benefit from software support for non-numerical applications. Heterogeneous cores will allow efficient sophisticated...