Sciweavers

10568 search results - page 755 / 2114
» Computer Intelligence and Formalization
Sort
View
AAAI
2012
13 years 9 months ago
Online Task Assignment in Crowdsourcing Markets
We explore the problem of assigning heterogeneous tasks to workers with different, unknown skill sets in crowdsourcing markets such as Amazon Mechanical Turk. We first formalize ...
Chien-Ju Ho, Jennifer Wortman Vaughan
153
Voted
LOGCOM
2007
59views more  LOGCOM 2007»
15 years 7 months ago
Forgetting Literals with Varying Propositional Symbols
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...
Yves Moinard
HICSS
1999
IEEE
115views Biometrics» more  HICSS 1999»
15 years 11 months ago
Focusing on Mobility
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
Klaus Bergner, Radu Grosu, Andreas Rausch, Alexand...
ICIP
2000
IEEE
16 years 9 months ago
Dynamic Memory Model Based Optimization of Scalar and Vector Quantizer for Fast Image Encoding
The rapid progress of computers and today's heterogeneous computing environment means computation-intensive signal processing algorithms must be optimized for performance in ...
Gene Cheung, Steven McCanne
IWANN
2005
Springer
16 years 28 days ago
Modeling Neural Processes in Lindenmayer Systems
Computing in nature as is the case with the human brain is an emerging research area in theoretical computer science. The present paper’s aim is to explore biological neural cell...
Carlos Martín-Vide, Tseren-Onolt Ishdorj