Sciweavers

13224 search results - page 2333 / 2645
» Self-monitoring for Computer Users
Sort
View
SEFM
2007
IEEE
16 years 29 days ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
SMI
2007
IEEE
157views Image Analysis» more  SMI 2007»
16 years 29 days ago
Skeleton-based Hierarchical Shape Segmentation
We present an effective framework for segmenting 3D shapes into meaningful components using the curve skeleton. Our algorithm identifies a number of a critical points on the curv...
Dennie Reniers, Alexandru Telea
TABLETOP
2007
IEEE
16 years 29 days ago
Supporting Multiple Off-Axis Viewpoints at a Tabletop Display
A growing body of research is investigating the use of tabletop displays, in particular to support collaborative work. People often interact directly with these displays, typicall...
Mark S. Hancock, M. Sheelagh T. Carpendale
TABLETOP
2007
IEEE
16 years 29 days ago
T3: Rapid Prototyping of High-Resolution and Mixed-Presence Tabletop Applications
Multi-person tabletop applications that require a high display resolution, such as collaborative web-browsing, are currently very difficult to create. Tabletop systems that suppo...
Peter Robinson, Philip Tuddenham
VTC
2007
IEEE
16 years 29 days ago
Power Optimization of IDMA Systems with Different Target BER Constraints
— Interleave Division Multiple Access (IDMA) is a promising air interface for future wireless networks. Optimization of access schemes regarding cross user aspects is also a topi...
Petra Weitkemper, Karl-Dirk Kammeyer
« Prev « First page 2333 / 2645 Last » Next »