44651 search results - page 8614 / 8931 » Generalized |
191
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
185
click to vote
JSAC
2007
15 years 6 months ago
2007
— Extending lifetime of battery-operated devices is a key design issue that allows uninterrupted information exchange among distributed nodes in wireless networks. Cooperative co...
200
click to vote
TVCG
2008
15 years 6 months ago
2008
In many information visualization techniques, labels are an essential part to communicate the visualized data. To preserve the expressiveness of the visual representation, a placed...
156
click to vote
TVCG
2008
15 years 6 months ago
2008
Abstract-We present a novel approach for latency-tolerant remote visualization and rendering where client-side frame rate display performance is independent of source dataset size,...
184
click to vote
TVCG
2008
15 years 6 months ago
2008
Interactive steering with visualization has been a common goal of the visualization research community for twenty years, but it is rarely ever realized in practice. In this paper w...