635 search results - page 14 / 127 » Towards the formalization of interaction semantics |
PROCEDIA
2010
14 years 7 months ago
2010
When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...
UAIS
2002
14 years 9 months ago
2002
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
UIC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...
134
click to vote
DAARC
2009
Springer
15 years 4 months ago
2009
Springer
Expressions such as English himself are interpreted as locally bound anaphors in certain syntactic environments and are exempt from the binding conditions in others. This article p...
100
click to vote
ICFP
2010
ACM
14 years 9 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...