1109 search results - page 152 / 222 » Chirikov standard map |
IFL
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
PG
1997
IEEE
14 years 2 months ago
1997
IEEE
In this paper, we present a new scheme of data representation for image-based objects. It allows the illumination to be changed interactively without knowing any geometrical infor...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
For a mobile robot to move in a known environment and operate successfully, first it needs to robustly determine its initial position and orientation relative to the map, and then ...
ESCIENCE
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. We study the implementation on grid systems of an efficient algorithm for demanding global optimization problems. Specifically, we consider problems arising in the geneti...
ASIACRYPT
2006
Springer
14 years 1 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...