18429 search results - page 434 / 3686 » Typing dynamic typing |
145
click to vote
IJON
2002
15 years 6 months ago
2002
Neocortical neurons in vivo operate in a high-conductance state which may a ect the dynamics of dendritic integration, but this aspect remains only barely characterized. We invest...
166
click to vote
ICONIP
2009
15 years 4 months ago
2009
Trust dynamics can be modelled in relation to experiences. Both cognitive and neural models for trust dynamics in relation to experiences are available, but were not yet related or...
185
click to vote
TLCA
2001
Springer
15 years 11 months ago
2001
Springer
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...
186
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
In decision support applications, the ability to provide fast approximate answers to aggregation queries is desirable. One commonly-used technique for approximate query answering ...
195
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...