472 search results - page 41 / 95 » Symbolic range propagation |
USENIX
2008
14 years 8 days ago
2008
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...
BROADCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
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...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
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...
ICIP
2004
IEEE
14 years 11 months ago
2004
IEEE
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,...
MICCAI
2009
Springer
14 years 11 months ago
2009
Springer
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...