635 search results - page 115 / 127 » Towards the formalization of interaction semantics |
80
Voted
ICMCS
2009
IEEE
14 years 7 months ago
2009
IEEE
With the proliferation of online media services, video ads are pervasive across various platforms involving internet services and interactive TV services. Existing research effort...
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
CMSB
2007
Springer
15 years 3 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
110
click to vote
TLDI
2010
ACM
14 years 9 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
BMCBI
2008
14 years 9 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...