Sciweavers

1929 search results - page 52 / 386
» Change Propagation Analysis Using Domain Information
Sort
View
ECAI
2008
Springer
15 years 1 months ago
A Practical Temporal Constraint Management System for Real-Time Applications
A temporal constraint management system (TCMS) is a temporal network together with algorithms for managing the constraints in that network over time. This paper presents a practica...
Luke Hunsberger
AMOST
2005
ACM
15 years 5 months ago
Using information about functions in selecting test cases
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
Markus Clermont, David Lorge Parnas
IPM
2008
139views more  IPM 2008»
14 years 11 months ago
Users can change their web search tactics: Design guidelines for categorized overviews
Categorized overviews of web search results are a promising way to support user exploration, understanding, and discovery. These search interfaces combine a metadata-based overvie...
Bill Kules, Ben Shneiderman
ICSM
1996
IEEE
15 years 4 months ago
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
ICIP
2010
IEEE
14 years 9 months ago
Natural image matting for multiple wide-baseline views
In this paper we present a novel approach to estimate the alpha mattes of a foreground object captured by a widebaseline circular camera rig provided a single key frame trimap. Ba...
Muhammad Sarim, Adrian Hilton, Jean-Yves Guillemau...