7393 search results - page 1336 / 1479 » Synthesis-for-testability using transformations |
ICAIL
2003
ACM
15 years 3 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
SIGIR
2003
ACM
15 years 3 months ago
2003
ACM
Translation of proper names is generally recognized as a significant problem in many multi-lingual text and speech processing applications. Even when large bilingual lexicons use...
WPES
2003
ACM
15 years 3 months ago
2003
ACM
Privacy is becoming an increasingly important issue in many data mining applications, particularly in the security and defense area. This has triggered the development of many pri...
FCCM
2002
IEEE
15 years 3 months ago
2002
IEEE
NASA’s satellites currently do not make use of advanced image compression techniques during data transmission to earth because of limitations in the available platforms. With th...