10159 search results - page 1897 / 2032 » System Design Validation Using Formal Models |
KDD
2012
ACM
11 years 10 months ago
2012
ACM
Multi-instance multi-label learning (MIML) is a framework for supervised classification where the objects to be classified are bags of instances associated with multiple labels....
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
Edit distance based string similarity join is a fundamental operator in string databases. Increasingly, many applications in data cleaning, data integration, and scientific compu...
MMB
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Computing tight performance bounds in feed-forward networks under general assumptions about arrival and server models has turned out to be a challenging problem. Recently...
ATAL
2006
Springer
13 years 12 months ago
2006
Springer
Current computational trust models are usually built either on an agent's direct experience of an interaction partner (interaction trust) or reports provided by third parties...
IJHPCA
2010
13 years 6 months ago
2010
As high-end computing systems continue to grow in scale, recent advances in multiand many-core architectures have pushed such growth toward more denser architectures, that is, mor...