18429 search results - page 408 / 3686 » Typing dynamic typing |
207
click to vote
ENTCS
2002
15 years 6 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
210
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
170
click to vote
BIOADIT
2004
Springer
16 years 7 days ago
2004
Springer
We present two ways in which dynamic self-assembly can be used to perform computation, via stochastic protein networks and self-assembling software. We describe our protein-emulati...
183
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Aperiodic dynamics are known to be essential in the formation of perceptual mechanisms and representations in biological organisms. Advances in neuroscience and computational neur...
208
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
Human nonverbal behavior recognition from multiple cues and modalities has attracted a lot of interest in recent years. Despite the interest, many research questions, including th...