6167 search results - page 982 / 1234 » Can Refinement be Automated |
ADG
2006
Springer
15 years 6 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...
118
Voted
ACMSE
2006
ACM
15 years 6 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...
80
Voted
CSCW
2006
ACM
15 years 6 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...
139
Voted
DOLAP
2006
ACM
15 years 6 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...
102
click to vote
ISSTA
2006
ACM
15 years 6 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...