3656 search results - page 228 / 732 » Compact Location Problems |
152
Voted
ATAL
2009
Springer
16 years 29 days ago
2009
Springer
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of ...
199
click to vote
ICANNGA
2009
Springer
16 years 28 days ago
2009
Springer
Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a feasible alte...
154
click to vote
ICDM
2008
IEEE
16 years 25 days ago
2008
IEEE
We consider the problem of publishing sensitive transaction data with privacy preservation. High dimensionality of transaction data poses unique challenges on data privacy and dat...
199
click to vote
ADBIS
2007
Springer
16 years 17 days ago
2007
Springer
In solving the classification problem in relational data mining, traditional methods, for example, the C4.5 and its variants, usually require data transformations from datasets sto...
195
Voted
TABLEAUX
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...