39039 search results - page 109 / 7808 » Implementation of the |
169
click to vote
FORTE
2001
15 years 8 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
131
click to vote
IWEC
2004
2004
The Design and Implementation of Multi-player Card Games on Multi-user Interactive Tabletop Surfaces
15 years 8 months ago
We present the design and implementation of a card game architecture for mulit-user interactive tabletop surfaces. Our system is built on the DiamondTouch, a touch-sensitive input ...
189
click to vote
FIMI
2003
15 years 8 months ago
2003
We will discuss , the depth first implementation of APRIORI as devised in 1999 (see [8]). Given a database, this algorithm builds a trie in memory that contains all frequent item...
172
Voted
SODA
2001
ACM
15 years 8 months ago
2001
ACM
We give an implementation of the Goemans-Williamson clustering procedure which is at the core of several approximation algorithms including those for Generalized Steiner Trees, Pr...
227
click to vote
SYBEN
1998
15 years 8 months ago
1998
Virtual LANs (VLANs) allow to interconnect users over campus or wide area networks and gives the users the impression as they would be connected to the same local area network (LA...