6258 search results - page 667 / 1252 » Applied Text Generation |
206
Voted
PSD
2010
Springer
15 years 5 months ago
2010
Springer
In survey statistics, simulation studies are usually performed by repeatedly drawing samples from population data. Furthermore, population data may be used in courses on survey sta...
190
Voted
TON
2010
15 years 5 months ago
2010
Abstract—Comparing graphs to determine the level of underlying structural similarity between them is a widely encountered problem in computer science. It is particularly relevant...
226
Voted
TSE
2010
15 years 5 months ago
2010
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
219
Voted
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
263
Voted
JSC
2010
15 years 2 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...