Sciweavers

141 search results - page 19 / 29
» Colored local type inference
Sort
View
TIP
2002
130views more  TIP 2002»
13 years 7 months ago
Forward-and-backward diffusion processes for adaptive image enhancement and denoising
Signal and image enhancement is considered in the context of a new type of diffusion process that simultaneously enhances, sharpens, and denoises images. The nonlinear diffusion co...
Guy Gilboa, Nir A. Sochen, Yehoshua Y. Zeevi
PPDP
2010
Springer
13 years 5 months ago
Rewrite-based verification of XML updates
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
Florent Jacquemard, Michaël Rusinowitch
IROS
2007
IEEE
162views Robotics» more  IROS 2007»
14 years 2 months ago
Genetic MRF model optimization for real-time victim detection in search and rescue
— One primary goal in rescue robotics is to deploy a team of robots for coordinated victim search after a disaster. This requires robots to perform subtasks, such as victim detec...
Alexander Kleiner, Rainer Kümmerle
CCS
2009
ACM
14 years 8 months ago
Automating analysis of large-scale botnet probing events
Botnets dominate today's attack landscape. In this work we investigate ways to analyze collections of malicious probing traffic in order to understand the significance of lar...
Zhichun Li, Anup Goyal, Yan Chen, Vern Paxson
ECCV
2008
Springer
14 years 9 months ago
Statistical Analysis of Global Motion Chains
Abstract. Multiple elements such as lighting, colors, dialogue, and camera motion contribute to the style of a movie. Among them, camera motion is commonly overlooked yet a crucial...
Jenny Yuen, Yasuyuki Matsushita