Sciweavers

4276 search results - page 136 / 856
» Techniques for Empirical Validation
Sort
View
ACMICEC
2004
ACM
162views ECommerce» more  ACMICEC 2004»
15 years 12 months ago
Balanced matching of buyers and sellers in e-marketplaces: the barter trade exchange model
In this paper, we describe the operation of barter trade exchanges by identifying key techniques used by trade brokers to stimulate trade and satisfy member needs, and present alg...
Peter Haddawy, Namthip Rujikeadkumjorn, Khaimook D...
TACAS
2000
Springer
121views Algorithms» more  TACAS 2000»
15 years 10 months ago
Using Static Analysis to Improve Automatic Test Generation
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
HICSS
2009
IEEE
159views Biometrics» more  HICSS 2009»
16 years 1 months ago
Collaborative Modeling - A Design Science Approach
We have used a design science approach to study the collaborative creation of conceptual models. We have designed a collaborative modeling architecture based on business needs and...
Peter Rittgen
ICDM
2008
IEEE
99views Data Mining» more  ICDM 2008»
16 years 27 days ago
Kernels for the Investigation of Localized Spatiotemporal Transitions of Drought with Support Vector Machines
We present and discuss several spatiotemporal kernels designed to mine real-life and simulated data in support of drought prediction. We implement and empirically validate these k...
Matthew W. Collier, Amy McGovern
FLAIRS
2010
15 years 8 months ago
Mining Actionable Patterns
We propose a generic framework that uses utility in decision making to drive the data mining process. We use concepts from meta-learning and build on earlier work by Elovici and B...
Prabakararaj Swapna Raj, Ravindran Balaraman