Sciweavers

5692 search results - page 1089 / 1139
» Challenges and Unsolved Problems
Sort
View
SOFTVIS
2010
ACM
13 years 10 months ago
Heapviz: interactive heap visualization for program understanding and debugging
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
Edward Aftandilian, Sean Kelley, Connor Gramazio, ...
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
13 years 10 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
ECAI
2010
Springer
13 years 10 months ago
Optimal Task Migration in Service-Oriented Systems: Algorithms and Mechanisms
In service-oriented systems, such as grids and clouds, users are able to outsource complex computational tasks by procuring resources on demand from remote service providers. As th...
Sebastian Stein, Enrico Gerding, Nicholas R. Jenni...
ICMCS
2010
IEEE
215views Multimedia» more  ICMCS 2010»
13 years 10 months ago
Efficient search of Top-K video subvolumes for multi-instance action detection
Action detection was formulated as a subvolume mutual information maximization problem in [8], where each subvolume identifies where and when the action occurs in the video. Desp...
Norberto A. Goussies, Zicheng Liu, Junsong Yuan
BIBM
2008
IEEE
125views Bioinformatics» more  BIBM 2008»
13 years 10 months ago
Systems Biology via Redescription and Ontologies (III): Protein Classification Using Malaria Parasite's Temporal Transcriptomic
This paper addresses the protein classification problem, and explores how its accuracy can be improved by using information from time-course gene expression data. The methods are ...
Antonina Mitrofanova, Samantha Kleinberg, Jane Car...
« Prev « First page 1089 / 1139 Last » Next »