Sciweavers

577 search results - page 24 / 116
» Budget Feasible Mechanisms
Sort
View
EDCC
2010
Springer
15 years 4 months ago
Software Process Synthesis in Assurance Based Development of Dependable Systems
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
Patrick J. Graydon, John C. Knight
AAAI
2012
13 years 2 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
SG
2004
Springer
15 years 5 months ago
Animating 2D Digital Puppets with Limited Autonomy
In this paper we describe the graphical realization and authoring of a semi-autonomous animated persona, called a Digital Puppet. Digital Puppets augment on-line educational materi...
Erin Shaw, Catherine LaBore, Yuan-Chun Chiu, W. Le...
ISSRE
2003
IEEE
15 years 5 months ago
Augmenting Simulated Annealing to Build Interaction Test Suites
Component based software development is prone to unexpected interaction faults. The goal is to test as many potential interactions as is feasible within time and budget constraint...
Myra B. Cohen, Charles J. Colbourn, Alan C. H. Lin...
AGENTS
2001
Springer
15 years 4 months ago
A shopper's assistant
Shopping on the Internet has become a convenient way of purchasing commodities of choice. A key contribution of agent technology will be to develop personal agents that can assist...
Partha Sarathi Dutta, Sandip Debnath, Sandip Sen