468 search results - page 63 / 94 » Computationally Feasible Automated Mechanism Design: General... |
DEBS
2007
ACM
14 years 11 days ago
2007
ACM
Approximately eighteen percent (18%) of babies born in New South Wales (NSW), Australia require special care or neonatal intensive care admission. Premature babies can be up to 17...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
The complexity of many problems necessitates creating and exploring multiple, alternative solutions. However, current user interfaces do not cleanly support creating alternatives ...
TASE
2008
IEEE
13 years 8 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
CCS
2010
ACM
13 years 11 months ago
2010
ACM
In this paper, we propose a new form of image-based CAPTCHA we term "scene tagging". It tests the ability to recognize a relationship between multiple objects in an imag...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...