Sciweavers

559 search results - page 73 / 112
» Augmented Marked Graphs
Sort
View
VMCAI
2010
Springer
14 years 7 months ago
Shape Analysis with Reference Set Relations
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
Mark Marron, Rupak Majumdar, Darko Stefanovic, Dee...
TEI
2010
ACM
142views Hardware» more  TEI 2010»
14 years 4 months ago
Physics on display: tangible graphics on hexagonal bezel-less screens
In this paper, we present a tiled display system made out of hexagonal cardboard screens with no visible bezel. Use of a bezel-less hexagonal form factor allows users to build lar...
Mike Rooke, Roel Vertegaal
IROS
2008
IEEE
181views Robotics» more  IROS 2008»
14 years 4 months ago
Scalable Bayesian human-robot cooperation in mobile sensor networks
— In this paper, scalable collaborative human-robot systems for information gathering applications are approached as a decentralized Bayesian sensor network problem. Humancompute...
Frédéric Bourgault, Aakash Chokshi, ...
ICPPW
2006
IEEE
14 years 4 months ago
Dynamic Algorithm Selection in Parallel GAMESS Calculations
Applications augmented with adaptive capabilities are becoming common in parallel computing environments which share resources such as main memory, network, or disk I/O. For large...
Nurzhan Ustemirov, Masha Sosonkina, Mark S. Gordon...
PDC
2006
ACM
14 years 4 months ago
UbiComp in opportunity spaces: challenges for participatory design
The rise of ubiquitous computing (UbiComp), where pervasive, wireless and disappearing technologies offer hitherto unavailable means of supporting activity, increasingly opens up ...
Eva Hornecker, John Halloran, Geraldine Fitzpatric...