1781 search results - page 297 / 357 » Visualizing program execution using user abstractions |
112
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
158
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
166
Voted
ICDCS
2011
IEEE
14 years 4 months ago
2011
IEEE
— MapReduce has become an effective approach to big data analytics in large cluster systems, where SQL-like queries play important roles to interface between users and systems. H...
265
click to vote
MICCAI
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Virtual colonoscopy is a minimally invasive technique allowing early detection of colorectal polyps. A path or centerline through the colon can be very useful to perform ...
150
click to vote
TIP
2008
15 years 4 months ago
2008
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...