Sciweavers

4516 search results - page 370 / 904
» Data Structures in the Design of Interfaces
Sort
View
STOC
2010
ACM
211views Algorithms» more  STOC 2010»
16 years 4 months ago
Maintaining a Large Matching or a Small Vertex Cover
We consider the problem of maintaining a large matching or a small vertex cover in a dynamically changing graph. Each update to the graph is either an edge deletion or an edge ins...
Krzysztof Onak and Ronitt Rubinfeld
FUIN
2007
100views more  FUIN 2007»
15 years 6 months ago
Interpreted Nets
The nets considered here are an extension of Petri nets in two aspects. In the semantical aspect, there is no one firing rule common to all transitions, but every transition is tr...
Ludwik Czaja
PODC
2011
ACM
14 years 9 months ago
On the power of hardware transactional memory to simplify memory management
Dynamic memory management is a significant source of complexity in the design and implementation of practical concurrent data structures. We study how hardware transactional memo...
Aleksandar Dragojevic, Maurice Herlihy, Yossi Lev,...
ICRA
2006
IEEE
123views Robotics» more  ICRA 2006»
16 years 24 days ago
Pneumatic Micro Hand and Miniaturized Parallel Link Robot for Micro Manipulation Robot System
- This paper reports the pneumatic PDMS micro hand as an endeffector of robot and miniaturized parallel link robot (guide robot) for manipulating a tiny and delicate object. Micro ...
Satoshi Konishi, Makoto Nokata, Ok Chan Jeong, Shi...
HT
2005
ACM
16 years 9 days ago
Hypervideo expression: experiences with hyper-hitchcock
Hyper-Hitchcock is a hypervideo editor enabling the direct manipulation authoring of a particular form of hypervideo called “detail-on-demand video.” This form of hypervideo a...
Frank M. Shipman III, Andreas Girgensohn, Lynn Wil...