Sciweavers

31 search results - page 1 / 7
» dms 2010
Sort
View
DCG
2010
121views more  DCG 2010»
13 years 4 months ago
Compression Schemes, Stable Definable Families, and o-Minimal Structures
We show that any family of sets uniformly definable in an ominimal structure has an extended compression scheme of size equal to the number of parameters in the defining formula. ...
H. R. Johnson, M. C. Laskowski
DMS
2010
229views Multimedia» more  DMS 2010»
13 years 6 months ago
Image Annotation System Using Visual and Textual Features
We present an automated Image Annotation system called I-Tag which uses both visual and textual information of the images and recommends relevant tags for them. The automatic gene...
Swapnil Barai, Alfonso F. Cardenas
DMS
2010
147views Multimedia» more  DMS 2010»
13 years 5 months ago
Towards Security-aware Program Visualization for Analyzing In-lined Reference Monitors
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
Aditi Patwardhan, Kevin W. Hamlen, Kendra Cooper