Sciweavers

2561 search results - page 206 / 513
» Enhanced Quicksort Algorithm
Sort
View
135
Voted
ESOP
2010
Springer
15 years 12 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
113
Voted
BROADNETS
2007
IEEE
15 years 9 months ago
Optimizing dimensionality and accelerating landmark positioning for coordinates based RTT predictions
Abstract— In this paper we analyze the positioning of landmarks in coordinates-based Internet distance prediction approaches with focus on Global Network Positioning (GNP). We sh...
Dragan Milic, Torsten Braun
132
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
Turbo Equalization for Single Antenna Cochannel Interference Cancellation in Single Carrier Transmission Systems
Abstract—In recent years, single antenna interference cancellation (SAIC) has evolved as an attractive method to increase the capacity of single carrier mobile radio networks lik...
Patrick Nickel, Wolfgang H. Gerstacker, Wolfgang K...
112
Voted
ICDAR
2007
IEEE
15 years 9 months ago
Automatic Extraction of Data from 2-D Plots in Documents
Two-dimensional (2-D) plots in digital documents contain important information. Often, the results of scientific experiments and performance of businesses are summarized using pl...
Xiaonan Lu, James Ze Wang, Prasenjit Mitra, C. Lee...
143
Voted
APGV
2005
ACM
250views Visualization» more  APGV 2005»
15 years 8 months ago
A perceptual framework for contrast processing of high dynamic range images
Image processing often involves an image transformation into a domain that is better correlated with visual perception, such as the wavelet domain, image pyramids, multi-scale con...
Rafal Mantiuk, Karol Myszkowski, Hans-Peter Seidel