Sciweavers

1419 search results - page 210 / 284
» Searching for Related Objects in Relational Databases
Sort
View
CHI
2010
ACM
14 years 1 months ago
Cultural difference in image tagging
Do people from different cultures tag digital images differently? The current study compared the content of tags for digital images created by two cultural groups: European Americ...
Wei Dong, Wai-Tat Fu
FM
2009
Springer
169views Formal Methods» more  FM 2009»
14 years 1 days ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
GECCO
2006
Springer
163views Optimization» more  GECCO 2006»
13 years 11 months ago
The quadratic multiple knapsack problem and three heuristic approaches to it
The quadratic multiple knapsack problem extends the quadratic knapsack problem with K knapsacks, each with its own capacity Ck. A greedy heuristic fills the knapsacks one at a tim...
Amanda Hiley, Bryant A. Julstrom
MP
2006
101views more  MP 2006»
13 years 8 months ago
Robust optimization of contaminant sensor placement for community water systems
We present a series of related robust optimization models for placing sensors in municipal water networks to detect contaminants that are maliciously or accidentally injected. We f...
Robert D. Carr, Harvey J. Greenberg, William E. Ha...
ESEM
2008
ACM
13 years 10 months ago
A constrained regression technique for cocomo calibration
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
Vu Nguyen, Bert Steece, Barry W. Boehm