Sciweavers

2938 search results - page 353 / 588
» On obfuscating point functions
Sort
View
SAS
2007
Springer
128views Formal Methods» more  SAS 2007»
16 years 21 days ago
Magic-Sets Transformation for the Analysis of Java Bytecode
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
Étienne Payet, Fausto Spoto
FOCS
2006
IEEE
16 years 19 days ago
Algorithms on negatively curved spaces
d abstract] Robert Krauthgamer ∗ IBM Almaden James R. Lee † Institute for Advanced Study We initiate the study of approximate algorithms on negatively curved spaces. These spa...
Robert Krauthgamer, James R. Lee
INFOCOM
2006
IEEE
16 years 18 days ago
Super-Fast Delay Tradeoffs for Utility Optimal Fair Scheduling in Wireless Networks
— We consider the fundamental delay tradeoffs for utility optimal scheduling in a general network with time varying channels. A network controller acts on randomly arriving data ...
Michael J. Neely
WIOPT
2006
IEEE
16 years 17 days ago
Online association policies in IEEE 802.11 WLANs
Abstract— In this paper, we study the performance of clientAccess Point (AP) association policies in IEEE 802.11 based WLANs. In many scenarios, clients have a choice of APs with...
Gaurav Kasbekar, Joy Kuri, Pavan Nuggehalli
ACCV
2006
Springer
16 years 17 days ago
Multiregion Level Set Tracking with Transformation Invariant Shape Priors
Tracking of regions and object boundaries in an image sequence is a well studied problem in image processing and computer vision. So far, numerous approaches tracking different fea...
Michael Fussenegger, Rachid Deriche, Axel Pinz