Search Sciweavers | Sciweavers

29082 search results - page 154 / 5817

» The Time-Triggered Model of Computation

click to vote

PPSC
1997

92views Distributed And Parallel Com...» more PPSC 1997»

Java and Web Technologies for Simulation and Modelling in Computational Science and Engineering

13 years 9 months ago

Download grids.ucs.indiana.edu

We discuss the role of Java and Web technologies for general simulation. We classify the classes of concurrency typical in problems and analyze separately the role of Java in user...

Geoffrey Fox, Wojtek Furmanski

claim paper

Read More »

click to vote

TCS
2008

118views Theoretical Computer Science» more TCS 2008»

Sound and complete computational interpretation of symbolic hashes in the standard model

13 years 8 months ago

Download www.cs.ru.nl

This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...

Flavio D. Garcia, Peter van Rossum

claim paper

Read More »

click to vote

ICDAR
2007
IEEE

204views Document Analysis» more ICDAR 2007»

Energy-Based Models in Document Recognition and Computer Vision

14 years 2 months ago

Download yann.lecun.com

The Machine Learning and Pattern Recognition communities are facing two challenges: solving the normalization problem, and solving the deep learning problem. The normalization pro...

Yann LeCun, Sumit Chopra, Marc'Aurelio Ranzato, Fu...

claim paper

Read More »

click to vote

Book

393views

Computational Modeling and Complexity Science

15 years 6 months ago

Download www.greenteapress.com

"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"

Allen B. Downey

posted by scimaster