3709 search results - page 166 / 742 » Supporting experimentation with Side-Views |
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper proposes a novel adaptive algorithm based on a new soft-regulator (σ, ρ, λ) for concurrent multimedia flows at end hosts. Our algorithm has the following features: ...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper describes a test-bed for planar micro manipulation tasks and a framework for planning based on quasistatic models of mechanical systems with frictional contacts. We ...
ISCAS
2006
IEEE
14 years 3 months ago
2006
IEEE
—We characterize the metastability measurement system [8] in which asynchronous data input and sampling clock frequencies trigger metastability. We develop the equation describin...
ISM
2006
IEEE
14 years 3 months ago
2006
IEEE
Subsampling is a commonly used technique for modern image and video compression. Existing image and video standards such as JPEG, MPEG, and H.264 provide support for uniform chrom...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
We present a complete method for synthesizing lexicographic linear ranking functions supported by inductive linear invariants for loops with linear guards and transitions. Proving ...