Sciweavers

9176 search results - page 1543 / 1836
» algorithms 2010
Sort
View
MVA
2010
254views Computer Vision» more  MVA 2010»
15 years 5 months ago
Gamma/X-ray linear pushbroom stereo for 3D cargo inspection
For evaluating the contents of trucks, containers, cargo, and passenger vehicles by a non-intrusive gamma-ray or X-ray imaging system to determine the possible presence of contrab...
Zhigang Zhu, Yu-Chi Hu, Li Zhao
NA
2010
153views more  NA 2010»
15 years 5 months ago
Verified error bounds for multiple roots of systems of nonlinear equations
It is well known that it is an ill-posed problem to decide whether a function has a multiple root. Even for a univariate polynomial an arbitrary small perturbation of a polynomial ...
Siegfried M. Rump, Stef Graillat
NOMS
2010
IEEE
136views Communications» more  NOMS 2010»
15 years 5 months ago
Supporting System-wide Similarity Queries for networked system management
Abstract— Today’s networked systems are extensively instrumented for collecting a wealth of monitoring data. In this paper, we propose a framework called System-wide Similarity...
Songyun Duan, Hui Zhang 0002, Guofei Jiang, Xiaoqi...
OOPSLA
2010
Springer
15 years 5 months ago
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Moo...
P2P
2010
IEEE
171views Communications» more  P2P 2010»
15 years 5 months ago
A QoE-Aware P2P Streaming System Using Scalable Video Coding
—P2P streaming has attracted much attention recently with promises for higher revenues and better load distribution. Still, the majority of P2P video streaming systems today empl...
Osama Abboud, Thomas Zinner, Konstantin Pussep, Si...
« Prev « First page 1543 / 1836 Last » Next »