12745 search results - page 378 / 2549 » Automating test automation |
236
click to vote
LPAR
2004
Springer
16 years 3 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
189
click to vote
SCOPES
2004
Springer
16 years 3 days ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
176
click to vote
ICDM
2003
IEEE
16 years 1 days ago
2003
IEEE
The data stream captured by recording inhabitantdevice interactions in an environment can be mined to discover significant patterns, which an intelligent agent could use to automa...
227
click to vote
ISVLSI
2003
IEEE
16 years 1 days ago
2003
IEEE
The behavior of many algorithms is heavily determined by the input data. Furthermore, this often means that multiple and completely different execution paths can be followed, also...
181
click to vote
COSIT
2003
Springer
15 years 12 months ago
2003
Springer
Numerous cognitive studies have indicated that the form and complexity of route instructions may be as important to human navigators as the overall length of route. Most automated ...