Sciweavers

4880 search results - page 545 / 976
» Mechanism Design by Creditability
Sort
View
AAAI
2008
15 years 9 months ago
Strategyproof Classification under Constant Hypotheses: A Tale of Two Functions
We consider the following setting: a decision maker must make a decision based on reported data points with binary labels. Subsets of data points are controlled by different selfi...
Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosens...
NSDI
2007
15 years 9 months ago
X-Trace: A Pervasive Network Tracing Framework
Modern Internet systems often combine different applications (e.g., DNS, web, and database), span different administrative domains, and function in the context of network mechanis...
Rodrigo Fonseca, George Porter, Randy H. Katz, Sco...
AICCSA
2008
IEEE
301views Hardware» more  AICCSA 2008»
15 years 9 months ago
Cooperative criminal face recognition in distributed web environment
This paper presents a multi-agent framework for distributed web-based face recognition using fuzzy logic based result fusion mechanism. The model is designed in JADE framework and...
Hamid Tabatabaee Yazdi, Amin Milani Fard, Mohammad...
GECCO
2010
Springer
249views Optimization» more  GECCO 2010»
15 years 9 months ago
Towards improved dispatching rules for complex shop floor scenarios: a genetic programming approach
Developing dispatching rules for manufacturing systems is a tedious process, which is time- and cost-consuming. Since there is no good general rule for different scenarios and ob...
Torsten Hildebrandt, Jens Heger, Bernd Scholz-Reit...
ASM
2008
ASM
15 years 9 months ago
Formal Modeling and Analysis of a Flash Filesystem in Alloy
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
Eunsuk Kang, Daniel Jackson