Sciweavers

6432 search results - page 318 / 1287
» Classic Mechanism Design
Sort
View
PADL
2011
Springer
14 years 9 months ago
Plato: A Compiler for Interactive Web Forms
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
Timothy L. Hinrichs
PAMI
2012
13 years 8 months ago
UBoost: Boosting with the Universum
—It has been shown that the Universum data, which do not belong to either class of the classification problem of interest, may contain useful prior domain knowledge for training...
Chunhua Shen, Peng Wang, Fumin Shen, Hanzi Wang
291
Voted
AIEDAM
2011
15 years 1 months ago
Discovering implicit constraints in design
In familiar design domains, expert designers are able to quickly focus on “good designs”, based on constraints they have learned while exploring the design space. This ability ...
Madan Mohan Dabbeeru, Amitabha Mukerjee
SIGSOFT
2005
ACM
16 years 7 months ago
CHARMY: an extensible tool for architectural analysis
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
Paola Inverardi, Henry Muccini, Patrizio Pelliccio...
HPDC
2002
IEEE
15 years 11 months ago
A Peer-to-Peer Approach to Resource Location in Grid Environments
Resource location (or discovery) is a fundamental service for resource-sharing environments: given desired resource attributes, the service returns locations of matching resources....
Adriana Iamnitchi, Ian T. Foster, Daniel Nurmi