2899 search results - page 454 / 580 » Dynamic Trees in Practice |
123
click to vote
JSAC
2007
15 years 2 months ago
2007
Abstract— On-demand and live multimedia streaming applications (such as Internet TV) are well known to utilize a significant amount of bandwidth from media streaming servers, es...
110
click to vote
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Bare Earth gridded digital elevation models (DEMs) are often used to extract hydrologic features such as rivers and watersheds. DEMs must be conditioned by removing spurious sinks...
125
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—Enterprise networks are large and complex, and their designs must be frequently altered to adapt to changing organizational needs. The process of redesigning and reconfiguring ...
103
click to vote
INFORMS
2010
15 years 1 months ago
2010
The concept of dominance among nodes of a branch-decision tree, although known since a long time, is not exploited by general-purpose Mixed-Integer Linear Programming (MILP) enume...
167
click to vote
DLT
2009
15 years 22 days ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...