Sciweavers

8125 search results - page 1180 / 1625
» Parallelism and evolutionary algorithms
Sort
View
ICS
2010
Tsinghua U.
16 years 4 months ago
Beyond Equilibria: Mechanisms for Repeated Combinatorial Auctions
: We study the design of mechanisms in combinatorial auction domains. We focus on settings where the auction is repeated, motivated by auctions for licenses or advertising space. W...
Brendan Lucier
ICDCS
2009
IEEE
16 years 4 months ago
On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving
A strongly fair schedule is one in which tasks that are enabled infinitely often are also executed infinitely often. When tasks execute atomically, a strongly fair scheduler can...
Matthew Lang, Paolo A. G. Sivilotti
ICASSP
2009
IEEE
16 years 1 months ago
Bandwidth adaptive hardware architecture of K-Means clustering for intelligent video processing
K-Means is a clustering algorithm that is widely applied in many elds, including pattern classi cation and multimedia analysis. Due to real-time requirements and computational-cos...
Tse-Wei Chen, Shao-Yi Chien
220
Voted
CBMS
2007
IEEE
16 years 1 months ago
An Unsupervised and Fully-Automated Image Analysis Method for cDNA Microarrays
Microarray gene expression image analysis is a labor-intensive task and requires human intervention since microarray images are contaminated with noise and artifacts while spots a...
Eleni Zacharia, Dimitrios E. Maroulis
CONCUR
2007
Springer
16 years 1 months ago
A Marriage of Rely/Guarantee and Separation Logic
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
Viktor Vafeiadis, Matthew J. Parkinson
« Prev « First page 1180 / 1625 Last » Next »