3527 search results - page 274 / 706 » Test Automation in Practice |
171
click to vote
IEEEICCI
2006
IEEE
16 years 8 days ago
2006
IEEE
While many data mining models concentrate on automation and efficiency, interactive data mining models focus on adaptive and effective communications between human users and comp...
150
click to vote
LICS
2006
IEEE
16 years 7 days ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
163
Voted
CSL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In thi...
140
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
Implementations of real number computations have largely been unusable in practice because of their very bad performance, especially in comparison to floating point arithmetic imp...
161
click to vote
ILP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study predicate selection functions (also known as splitting rules) for structural decision trees and propose two improvements to existing schemes. The first is in cl...