8828 search results - page 1266 / 1766 » Formal methods in practice |
182
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...
169
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Traditional Chinese medicine (TCM) has a rich knowledge about human health and disease by its special way evolved along a very long history. As modern medicine is achieving much...
177
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We consider a single-cell multiple-input multipleoutput (MIMO) downlink channel where linear transmission and reception strategy is employed. The base station (BS) tran...
264
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...
190
click to vote
CIVR
2007
Springer
16 years 1 months ago
2007
Springer
Scalability is the key issue in making content-based copy detection (CBCD) methods practical for very large image and video databases. Since copies are transformed versions of ori...