2863 search results - page 104 / 573 » Computer modelling and natural phenomena |
207
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
Identifying verbally and non-verbally referred-to objects is an important aspect of human-robot interaction. Most importantly, it is essential to achieve a joint focus of attentio...
163
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Developing user interfaces for ubiquitous environments is a challenging task. In such an environment, users can apply different devices to accomplish the same or different tasks. ...
168
click to vote
TCS
2011
15 years 1 months ago
2011
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...
224
click to vote
UMC
2000
15 years 9 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
156
click to vote
IWFM
2003
15 years 7 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...