Sciweavers

472 search results - page 41 / 95
» Symbolic range propagation
Sort
View
98
Voted
USENIX
2008
15 years 3 months ago
Spectator: Detection and Containment of JavaScript Worms
Recent popularity of interactive AJAX-based Web 2.0 applications has given rise to a new breed of security threats: JavaScript worms. In this paper we propose Spectator, the first...
V. Benjamin Livshits, Weidong Cui
85
Voted
BROADCOM
2008
IEEE
15 years 7 months ago
Versatile, Stationary/Mobile Low-Cost Telecommunication System
We describe a low-cost, versatile microstrip antenna to be used for terrestrial to satellite fixed and mobile point to point links at Ku-band. The Ku band has recently attracted a...
Dan Busuioc, Safieddin Safavi-Naeini
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 25 days ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
89
Voted
ICIP
2004
IEEE
16 years 2 months ago
Variable block-size transform and entropy coding at the enhancement layer of FGS
This paper proposes the variable block-size transform and context-based entropy coding techniques for the enhancement layer of FGS (Fine Granularity Scalable) video coding. First,...
Jungong Han, Xiaoyan Sun, Feng Wu, Shipeng Li, Zha...
104
Voted
MICCAI
2009
Springer
16 years 1 months ago
Dynamic Cone Beam Reconstruction Using a New Level Set Formulation
Abstract. This paper addresses an approach toward tomographic reconstruction from rotational angiography data as it is generated by Carms in cardiac imaging. Since the rotational a...
Andreas Keil, Jakob Vogel, Günter Lauritsch, ...