Sciweavers

607 search results - page 122 / 122
» Semantic Modeling of Digital Multimedia
Sort
View
JCDL
2011
ACM
221views Education» more  JCDL 2011»
12 years 8 months ago
Integrating implicit structure visualization with authoring promotes ideation
We need to harness the growing wealth of information in digital libraries to support intellectual work involving creative and exploratory processes. Prior research on hypertext au...
Andrew M. Webb, Andruid Kerne
ISSTA
2012
ACM
11 years 7 months ago
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...