4753 search results - page 699 / 951 » Natural Modelling of Interactive Applications |
133
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
129
Voted
ICIDS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. AI planning has featured in a number of Interactive Storytelling prototypes: since narratives can be naturally modelled as a sequence of actions it has been possible to e...
114
Voted
ICMI
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we investigate the multimodal nature of cell phone data in terms of discovering recurrent and rich patterns in people’s lives. We present a method that can discov...
112
click to vote
WIKIS
2009
ACM
15 years 10 months ago
2009
ACM
Prior research on Wikipedia has characterized the growth in content and editors as being fundamentally exponential in nature, extrapolating current trends into the future. We show...
130
click to vote
ICDM
2008
IEEE
15 years 10 months ago
2008
IEEE
Knowledge discovery from temporal, spatial and spatiotemporal data is critical for climate change science and climate impacts. Climate statistics is a mature area. However, recent...