3928 search results - page 184 / 786 » order 2006 |
176
click to vote
INFSOF
1998
15 years 6 months ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
195
click to vote
INTERACTIONS
1998
15 years 6 months ago
1998
This article summarizes the historical development of major advances in humancomputer interaction technology, emphasizing the pivotal role of university research in the advancemen...
184
click to vote
JIFS
2002
15 years 6 months ago
2002
This work addresses the problem of finding the adjustable parameters of a learning algorithm using Genetic Algorithms. This problem is also known as the model selection problem. In...
185
click to vote
JMIV
2002
15 years 6 months ago
2002
We consider a median pyramidal transform for denoising applications. Traditional techniques of pyramidal denoising are similar to those in wavelet-based methods. In order to remove...
208
click to vote
JOLLI
2002
15 years 6 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...