Sciweavers

314 search results - page 9 / 63
» Cubical token systems
Sort
View
ICCS
2004
Springer
14 years 1 months ago
Types and Tokens for Logic with Diagrams
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
Frithjof Dau
CHI
2000
ACM
14 years 29 days ago
The cubic mouse: a new device for three-dimensional input
We have developed a new input device that allows users to intuitively specify three-dimensional coordinates in graphics applications. The device consists of a cubeshaped box with ...
Bernd Fröhlich, John Plate
LATA
2010
Springer
13 years 7 months ago
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
Fernando Rosa Velardo, Giorgio Delzanno
CORR
2012
Springer
198views Education» more  CORR 2012»
12 years 4 months ago
Token-DCF: An Opportunistic MAC protocol for Wireless Networks
—IEEE 802.11 DCF is the MAC protocol currently used in wireless LANs. 802.11 DCF is inefficient due to two types of overhead; channel idle time and collision time. This paper pr...
Ghazale Hosseinabadi, Nitin H. Vaidya
DARE
2000
146views more  DARE 2000»
13 years 10 months ago
WebStickers: using physical tokens to access, manage and share bookmarks to the Web
In the WebStickers system, where barcode stickers may be attached to physical objects making them act as bookmarks to the worldwide web in a convenient way to the user. Using read...
Peter Ljungstrand, Johan Redström, Lars Erik ...