635 search results - page 53 / 127 » Viewpoints on Emergent Semantics |
ESOP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
The emerging field of ubiquitous robotics presents new challenges for human-robot interface. In this note, we introduce the concept of a common interface point using an expression-...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
The development of information and communication technologies and the expansion of the Internet means that, nowadays, there are huge amounts of information available via these eme...
SG
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Bayesian nets (BNs) appeared in the 1980s as a solution to computational and representational problems encountered in knowledge representation of uncertain information. S...
VL
1999
IEEE
14 years 2 months ago
1999
IEEE
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...