Sciweavers

10891 search results - page 1560 / 2179
» Combining Model Reductions
Sort
View
LCN
2000
IEEE
15 years 10 months ago
Intra-domain Bandwidth Management in Differentiated Services Network
In absence of any link layer traffic controls or priorityqueuing mechanism in LAN infrastructure (such as shared media LAN), Subnet Bandwidth Management based approach of managing...
Sanjay Jha, Mahbub Hassan, Priyadarsi Nanda, Nadee...
151
Voted
TPHOL
2000
IEEE
15 years 10 months ago
Routing Information Protocol in HOL/SPIN
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
140
Voted
ECAI
2000
Springer
15 years 10 months ago
Turning High-Level Plans into Robot Programs in Uncertain Domains
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
Henrik Grosskreutz, Gerhard Lakemeyer
170
Voted
ICDE
2010
IEEE
248views Database» more  ICDE 2010»
15 years 10 months ago
MashRank: Towards uncertainty-aware and rank-aware mashups
Mashups are situational applications that build data flows to link the contents of multiple Web sources. Often times, ranking the results of a mashup is handled in a materializethe...
Mohamed A. Soliman, Mina Saleeb, Ihab F. Ilyas
153
Voted
SIGGRAPH
1999
ACM
15 years 10 months ago
Multiresolution Signal Processing for Meshes
We generalize basic signal processing tools such as downsampling, upsampling, and filters to irregular connectivity triangle meshes. This is accomplished through the design of a ...
Igor Guskov, Wim Sweldens, Peter Schröder
« Prev « First page 1560 / 2179 Last » Next »