Sciweavers

3379 search results - page 37 / 676
» Combinators for Interaction Nets
Sort
View
GRAMMARS
2000
97views more  GRAMMARS 2000»
14 years 11 months ago
Proof-Nets, Hybrid Logics and Minimalist Representations
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...
Alain Lecomte
INTERACT
2003
15 years 1 months ago
The YoYo: A Handheld Device Combining Elastic and Isotonic Input
: We present a new input device for controlling three-dimensional graphics applications: the YoYo. The device consists of three elastically connected rings in a row, which can be m...
Andreas Simon, Bernd Froehlich
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
15 years 6 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
APN
2001
Springer
15 years 4 months ago
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
CPN/Tools is a major redesign of the popular Design/CPN tool from the University of Aarhus CPN group. The new interface is based on advanced, post-WIMP interaction techniques, incl...
Michel Beaudouin-Lafon, Wendy E. Mackay, Peter And...
DEXA
2005
Springer
109views Database» more  DEXA 2005»
15 years 5 months ago
Web Query Expansion by WordNet
In this paper, we address a novel method of Web query expansion by using WordNet and TSN. WordNet is an online lexical dictionary which describes word relationships in three dimens...
Zhiguo Gong, Chan Wa Cheang, Leong Hou U