570 search results - page 99 / 114 » Web-Based Feature Reduction System: A Case Study |
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
BIBE
2004
IEEE
15 years 1 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
New portable consumer embedded devices must execute multimedia and wireless network applications that demand extensive memory footprint. Moreover, they must heavily rely on Dynami...
FTIR
2006
14 years 10 months ago
2006
Authorship attribution, the science of inferring characteristics of the author from the characteristics of documents written by that author, is a problem with a long history and a...
JAR
2008
14 years 10 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...