6800 search results - page 1151 / 1360 » Testing with Functions as Specifications |
ENTCS
2007
13 years 8 months ago
2007
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
JSCIC
2006
13 years 8 months ago
2006
We improve upon a method introduced in (Bertalmio et. al. JCP 2001) for solving evolution PDEs on codimension-one surfaces in RN. As in the original method, by representing the su...
MTA
2008
13 years 8 months ago
2008
Large scale video streaming over Internet requires a large amount of resources such as server I/O bandwidth, network bandwidth. A number of video delivery techniques can be used to...
PAMI
2008
13 years 8 months ago
2008
In this paper, we present a general guideline to find a better distance measure for similarity estimation based on statistical analysis of distribution models and distance function...
PR
2008
13 years 8 months ago
2008
In this paper, we present a method for binary image comparison. For binary images, intensity information is poor and shape extraction is often difficult. Therefore binary images h...