33356 search results - page 455 / 6672 » Models of Continual Computation |
146
Voted
SSS
2010
Springer
15 years 5 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
169
click to vote
PPSC
1997
15 years 8 months ago
1997
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...
167
Voted
TCS
2008
15 years 6 months ago
2008
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 ...
199
Voted
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
The Machine Learning and Pattern Recognition communities are facing two challenges: solving the normalization problem, and solving the deep learning problem. The normalization pro...
297
Voted
Book
"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"