549 search results - page 37 / 110 » Verification condition generation for conditional informatio... |
AAAI
2008
15 years 2 months ago
2008
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
83
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Abstract--The problem of network coding for multicasting a single source to multiple sinks has first been studied by Ahlswede, Cai, Li and Yeung in 2000, in which they have establi...
112
click to vote
CSCW
2006
ACM
15 years 4 months ago
2006
ACM
This paper reports on an exploratory experimental study of the relationships between physical movement and desired visual information in the performance of video-mediated collabor...
98
Voted
EOR
2008
15 years 19 days ago
2008
We consider the separable nonlinear and strictly convex single-commodity network flow problem (SSCNFP). We develop a computational scheme for generating a primal feasible solution...
105
Voted
IEAAIE
2010
Springer
14 years 10 months ago
2010
Springer
In the proposed work a method for generating HDR images based on exposure blending is described. Using three differently exposed images a single image with recovered details in sha...