7049 search results - page 306 / 1410 » Data Abstraction for CSP-OZ |
185
click to vote
TMC
2002
15 years 6 months ago
2002
Abstract--Link adaptation to dynamically select the data transmission rate at a given time has been recognized as an effective way to improve the goodput performance of the IEEE 80...
158
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
We provide a novel view of learning an approximate model of a partially observable environment from data and present a simple implemenf the idea. The learned model abstracts away ...
148
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
160
click to vote
SAS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
190
click to vote
IV
2005
IEEE
16 years 9 days ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...