16430 search results - page 827 / 3286 » On Computable Tree Functions |
207
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
—We present new results from Computational Neurogenetic Modeling to aid discoveries of complex gene interactions underlying oscillations in neural systems. Interactions of genes ...
196
click to vote
SP
2006
IEEE
16 years 1 months 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...
224
click to vote
CRYPTO
2005
Springer
16 years 1 months ago
2005
Springer
Since bit and string oblivious transfer and commitment, two primitives of paramount importance in secure two- and multi-party computation, cannot be realized in an unconditionally ...
196
click to vote
GRID
2005
Springer
16 years 1 months ago
2005
Springer
— Developing applications for parallel and distributed systems is hard due to their nondeterministic nature; developing debugging tools for such systems and applications is even ...
217
click to vote
ALGOSENSORS
2004
Springer
16 years 29 days ago
2004
Springer
Determining the positions of the sensor nodes in a network is essential to many network functionalities such as routing, coverage and tracking, and event detection. The localizatio...