4302 search results - page 451 / 861 » Index Pairs Algorithms |
199
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
165
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
When researching new product ideas or filing new patents, inventors need to retrieve all relevant pre-existing know-how and/or to exploit and enforce patents in their technologica...
197
click to vote
CGF
2008
15 years 6 months ago
2008
We present a new, real-time method for rendering soft shadows from large light sources or lighting environments on dynamic height fields. The method first computes a horizon map f...
200
click to vote
IR
2006
15 years 6 months ago
2006
The complexity and diversity of government regulations make understanding and retrieval of regulations a non-trivial task. One of the issues is the existence of multiple sources o...
196
click to vote
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
Private matching between datasets owned by distinct parties is a challenging problem with several applications. Private matching allows two parties to identify the records that ar...