Sciweavers

3792 search results - page 461 / 759
» Techniques for Trusted Software Engineering
Sort
View
VMCAI
2010
Springer
16 years 4 months ago
Shape Analysis with Reference Set Relations
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
Mark Marron, Rupak Majumdar, Darko Stefanovic, Dee...
IUI
2010
ACM
16 years 3 months ago
Raconteur: from intent to stories
When editing a story from a large collection of media, such as photos and video clips captured from daily life, it is not always easy to understand how particular scenes fit into ...
Pei-Yu Chi, Henry Lieberman
IUI
2009
ACM
16 years 3 months ago
From geek to sleek: integrating task learning tools to support end users in real-world applications
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
Aaron Spaulding, Jim Blythe, Will Haines, Melinda ...
IUI
2009
ACM
16 years 3 months ago
Musicsim: integrating audio analysis and user feedback in an interactive music browsing ui
In music information retrieval (MIR), there are two main research directions, which are based either on a folder hierarchy and metadata, or on the actual acoustic content. We beli...
Ya-Xi Chen, Andreas Butz
ASWEC
2009
IEEE
16 years 1 months ago
Component Coordination in GLoo
Incorporating components from a number of different sources into a given application is generally considered to be a non-trivial activity. Over the years, various coordination mec...
Jean-Guy Schneider, Markus Lumpe