3379 search results - page 355 / 676 » Combinators for Interaction Nets |
192
click to vote
GRAPHICSINTERFACE
1997
15 years 8 months ago
1997
We present a modelling method and graphical user interface for the creation of natural branching structures such as plants. Structural and geometric information is encapsulated in...
160
click to vote
COLING
1990
15 years 8 months ago
1990
: An ellipsis resolution mechanism is presented. The mechanism is a part of a Natural Language Understanding System developed in the last years in order to be included as a main co...
176
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
We introduce and motivate crowd computing, which combines mobile devices and social interactions to achieve large-scale distributed computation. An opportunistic network of mobile...
240
click to vote
JAPLL
2006
15 years 6 months ago
2006
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
193
click to vote
FDG
2009
ACM
15 years 4 months ago
2009
ACM
This poster describes a framework that automatically generates learning support scaffolds to guide task-based learning. The aim is to combine the exploratory learning principles p...