4466 search results - page 212 / 894 » Large-Scale Data Analysis Using Heuristic Methods |
158
click to vote
DSD
2008
IEEE
16 years 29 days ago
2008
IEEE
Testability is one of the most important factors that are considered during design cycle along with reliability, speed, power consumption, cost and other factors important for a c...
213
click to vote
PAA
2002
15 years 6 months ago
2002
: Many classification problems involve high dimensional inputs and a large number of classes. Multiclassifier fusion approaches to such difficult problems typically centre around s...
183
click to vote
ISSTA
1993
ACM
15 years 10 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...
146
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair st...
175
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...