Sciweavers

8636 search results - page 1450 / 1728
» How Developers Copy
Sort
View
157
Voted
TRANSCI
2010
128views more  TRANSCI 2010»
15 years 2 months ago
An Information-Theoretic Sensor Location Model for Traffic Origin-Destination Demand Estimation Applications
To design a transportation sensor network, the decision-maker needs to determine what sensor investments should be made, as well as when, how, where and with what technologies. Th...
Xuesong Zhou, George F. List
TSE
2010
125views more  TSE 2010»
15 years 2 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin
160
Voted
TVCG
2010
139views more  TVCG 2010»
15 years 2 months ago
Mental Models, Visual Reasoning and Interaction in Information Visualization: A Top-down Perspective
—Although previous research has suggested that examining the interplay between internal and external representations can benefit our understanding of the role of information vis...
Zhicheng Liu, John T. Stasko
148
Voted
TVCG
2010
194views more  TVCG 2010»
15 years 2 months ago
Declarative Language Design for Interactive Visualization
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
Jeffrey Heer, Michael Bostock
VTC
2010
IEEE
180views Communications» more  VTC 2010»
15 years 2 months ago
Dynamic Channel Reservation to Enhance Channel Access by Exploiting Structure of Vehicular Networks
Abstract—VANET protocols need to exploit the special structure of vehicular networks. This structure includes the onedimensional nature of roads, the structure of lanes, the grou...
Ray K. Lam, P. R. Kumar
« Prev « First page 1450 / 1728 Last » Next »