3645 search results - page 163 / 729 » Implementing mapping composition |
169
click to vote
HCI
2007
15 years 7 months ago
2007
The aim of this study is to investigate the usability and usefulness of interactive tabletop technologies to support group creativity. We implemented a tabletop interface enabling ...
126
click to vote
IJON
2006
15 years 6 months ago
2006
Hebbian learning has been a staple of neural-network models for many years. It is well known that the most straight-forward implementations of this popular learning rule lead to u...
154
Voted
ICDE
2007
IEEE
16 years 19 days ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
179
Voted
ICALT
2006
IEEE
16 years 11 days ago
2006
IEEE
Graphical dialogue -the collaborative construction and modification of drawings- forms an integrated part of many human interactions e.g., the construction of sketch maps, archite...
179
click to vote
AUSAI
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...