7393 search results - page 255 / 1479 » Synthesis-for-testability using transformations |
128
click to vote
BIRTHDAY
1994
Springer
15 years 8 months ago
1994
Springer
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...
133
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
As agent systems are solving more and more complex tasks in increasingly challenging domains, the systems themselves are becoming more complex too, often compromising their adapti...
137
click to vote
EEE
2004
IEEE
15 years 7 months ago
2004
IEEE
e-Transformation technologies, for the past few years, have been evolving towards the goal of information integration and system interoperability. While there is no doubt that int...
123
click to vote
DBISP2P
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The both-as-view (BAV) approach to data integration has the advantage of specifying mappings between schemas in a bidirectional manner, so that once a BAV mapping has bee...
154
click to vote
SBBD
2003
15 years 5 months ago
2003
Despite its benefit in a wide range of applications, data mining techniques also have raised a number of ethical issues. Some such issues include those of privacy, data security,...