Sciweavers

8728 search results - page 1390 / 1746
» On Reduct Construction Algorithms
Sort
View
SEKE
2010
Springer
15 years 5 months ago
A String Constraint Solver for Detecting Web Application Vulnerability
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
Xiang Fu, Chung-Chih Li
TON
2010
90views more  TON 2010»
15 years 5 months ago
On burst transmission scheduling in mobile TV broadcast networks
—In mobile TV broadcast networks, the base station broadcasts TV channels in bursts such that mobile devices can receive a burst of traffic and then turn off their radio frequen...
Mohamed Hefeeda, Cheng-Hsin Hsu
TSE
2010
151views more  TSE 2010»
15 years 5 months ago
The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
George K. Baah, Andy Podgurski, Mary Jean Harrold
BMVC
2010
15 years 4 months ago
Using Context to Create Semantic 3D Models of Indoor Environments
Semantic 3D models of buildings encode the geometry as well as the identity of key components of a facility, such as walls, floors, and ceilings. Manually constructing such a mode...
Xuehan Xiong, Daniel Huber
CIKM
2010
Springer
15 years 4 months ago
Discovery of numerous specific topics via term co-occurrence analysis
We describe efficient techniques for construction of large term co-occurrence graphs, and investigate an application to the discovery of numerous fine-grained (specific) topics. A...
Omid Madani, Jiye Yu
« Prev « First page 1390 / 1746 Last » Next »