1999 search results - page 35 / 400 » Finding Reductions Automatically |
101
click to vote
ICSM
2007
IEEE
15 years 4 months ago
2007
IEEE
Test suite reduction seeks to reduce the number of test cases in a test suite while retaining a high percentage of the original suite’s fault detection effectiveness. Most appro...
FLAIRS
2001
14 years 11 months ago
2001
In this paper, weproposeseveral principles that enable the automatic transformation of WordNet into a coarser grained dictionary, withoutaffecting its existing semanticrelations. ...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
COLING
2010
14 years 4 months ago
2010
We go beyond simple propositional meaning extraction and present experiments in determining which propositions in text the author believes. We show that deep syntactic parsing hel...
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...