Sciweavers

5634 search results - page 942 / 1127
» About Abstract Classes
Sort
View
TOPLAS
2010
101views more  TOPLAS 2010»
15 years 3 months ago
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...
TVCG
2010
217views more  TVCG 2010»
15 years 3 months ago
How Information Visualization Novices Construct Visualizations
—It remains challenging for information visualization novices to rapidly construct visualizations during exploratory data analysis. We conducted an exploratory laboratory study i...
Lars Grammel, Melanie Tory, Margaret-Anne D. Store...
VTC
2010
IEEE
130views Communications» more  VTC 2010»
15 years 3 months ago
Performance of the Space-Time Block Coded DS-CDMA Uplink Employing Soft-Output ACO-Aided Multiuser Space-Time Detection and Iter
Abstract—In this treatise we propose a three-stage twin-transmitantenna assisted MultiUser (MU) Direct Sequence Code-Division Mulitple Access (DS-CDMA) system employing both a Un...
Chong Xu, Mohammed El-Hajjar, Robert G. Maunder, L...
WRLA
2010
15 years 3 months ago
Folding Variant Narrowing and Optimal Variant Termination
Abstract. If a set of equations E∪Ax is such that E is confluent, terminating, and coherent modulo Ax, narrowing with E modulo Ax provides a complete E∪Ax-unification algorit...
Santiago Escobar, Ralf Sasse, José Meseguer
XPU
2010
Springer
15 years 3 months ago
Auto-tagging Emails with User Stories Using Project Context
Abstract. In distributed agile teams, people often use email as a knowledge sharing tool to clarify the project requirements (aka user stories). Knowledge about the project include...
S. M. Sohan, Michael M. Richter, Frank Maurer