6167 search results - page 982 / 1234 » Can Refinement be Automated |
117
click to vote
ADG
2006
Springer
15 years 10 months ago
2006
Springer
It is known that five points in 3 generically determine a finite number of cylinders containing those points. We discuss ways in which it can be shown that the generic (complex) nu...
150
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
107
click to vote
CSCW
2006
ACM
15 years 10 months ago
2006
ACM
Spontaneous multi-party interaction – conversation among groups of three or more participants – is part of daily life. While automated modeling of such interactions has receiv...
170
Voted
DOLAP
2006
ACM
15 years 10 months ago
2006
ACM
One of the most important tasks performed in the early stages of a data warehouse project is the analysis of the structure and content of the existing data sources and their inten...
131
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...