1109 search results - page 75 / 222 » Chirikov standard map |
IJON
2002
13 years 7 months ago
2002
We study the relation between maps of a high-dimensional stimulus manifold onto an essentially two-dimensional cortical area and low-dimensional maps of stimulus features such as ...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
Content based shape image retrieval is an important problem which gained the attention of the community. The challenge is to map the shape into compact and robust descriptor. This...
CADE
2006
Springer
14 years 8 months ago
2006
Springer
We developed an importer from both HOL 4 and HOL-light into Isabelle/HOL. The importer works by replaying proofs within Isabelle/HOL that have been recorded in HOL 4 or HOL-light a...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we propose a novel algorithm of multi-nominal logistic regression in which the locality regularization term is introduced. The locality is defined by the neighborho...
PACT
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...