Sciweavers

18429 search results - page 56 / 3686
» Typing dynamic typing
Sort
View
POPL
2007
ACM
16 years 5 days ago
Cork: dynamic memory leak detection for garbage-collected languages
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
Maria Jump, Kathryn S. McKinley
CVPR
2001
IEEE
16 years 1 months ago
Recognition of Human Gaits
We pose the problem of recognizing different types of human gait in the space of dynamical systems where each gait is represented. Established techniques are employed to track a k...
Alessandro Bissacco, Alessandro Chiuso, Yi Ma, Ste...
BC
2005
79views more  BC 2005»
14 years 11 months ago
Stochastic resonance of localized activity driven by common noise
Abstract We study the influence of spatially correlated noise on the transient dynamics of a recurrent network with Mexican-Hat type connectivity. We derive the closed form of the ...
Kosuke Hamaguchi, Masato Okada, Shigeru Kubota, Ka...
NECO
1998
171views more  NECO 1998»
14 years 11 months ago
Constrained Optimization for Neural Map Formation: A Unifying Framework for Weight Growth and Normalization
three different levels of abstraction: detailed models including ctivity dynamics, weight dynamics that abstract from the neural activity dynamics by an adiabatic approximation, an...
Laurenz Wiskott, Terrence J. Sejnowski
ASIAN
2009
Springer
269views Algorithms» more  ASIAN 2009»
14 years 9 months ago
Noninterference with Dynamic Security Domains and Policies
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
Robert Grabowski, Lennart Beringer