860 search results - page 25 / 172 » A Novel Approach to Parenting in Functional Program Evaluati... |
SSDBM
2003
IEEE
14 years 2 months ago
2003
IEEE
— Many novel spatio-temporal applications deal with moving objects. In such environments, a database typically maintains the initial position and the moving function for each obj...
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
VISUALIZATION
1996
IEEE
14 years 28 days ago
1996
IEEE
This paper presents a novel approach to assist the user in exploring appropriate transfer functions for the visualization of volumetric datasets. The search for a transfer functio...
COLING
2010
13 years 3 months ago
2010
We generalize the task of finding question paraphrases in a question repository to a novel formulation in which known questions are ranked based on their utility to a new, referen...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...