Sciweavers

8294 search results - page 1582 / 1659
» Presenting Data from Experiments in Algorithmics
Sort
View
CCS
2010
ACM
15 years 2 months ago
TAPS: automatically preparing safe SQL queries
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakris...
TPDS
2010
112views more  TPDS 2010»
15 years 1 months ago
Resource Scheduling in Wireless Networks Using Directional Antennas
—Due to a continued increase in the speed and capacities of computing devices, combined with our society’s growing need for mobile communication capabilities, multihop wireless...
Imad Jawhar, Jie Wu, Dharma P. Agrawal
ACCV
2010
Springer
14 years 10 months ago
A Method for Text Localization and Recognition in Real-World Images
A general method for text localization and recognition in real-world images is presented. The proposed method is novel, as it (i) departs from a strict feed-forward pipeline and re...
Lukas Neumann, Jiri Matas
EMSOFT
2011
Springer
14 years 2 months ago
Synthesis of optimal switching logic for hybrid systems
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
FOCS
2009
IEEE
15 years 9 months ago
The Complexity of Rationalizing Network Formation
— We study the complexity of rationalizing network formation. In this problem we fix an underlying model describing how selfish parties (the vertices) produce a graph by making...
Shankar Kalyanaraman, Christopher Umans
« Prev « First page 1582 / 1659 Last » Next »