Sciweavers

4794 search results - page 46 / 959
» Trust-Based Mechanism Design
Sort
View
FCSC
2007
133views more  FCSC 2007»
13 years 9 months ago
Mathematics mechanization and applications after thirty years
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
Wenjun Wu, Xiaoshan Gao
AAAI
2012
12 years 8 days ago
Evaluating Resistance to False-Name Manipulations in Elections
In many mechanisms (especially online mechanisms), a strategic agent can influence the outcome by creating multiple false identities. We consider voting settings where the mechan...
Bo Waggoner, Lirong Xia, Vincent Conitzer
ICRA
2003
IEEE
88views Robotics» more  ICRA 2003»
14 years 3 months ago
A new concept of modular parallel mechanism for machining applications
The subject of this paper is the design of a new concept of modular parallel mechanisms for three, four or five-axis machining applications. Most parallel mechanisms are designed ...
Damien Chablat, Philippe Wenger
DFT
2009
IEEE
189views VLSI» more  DFT 2009»
14 years 4 months ago
Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
Meng Zhang, Anita Lungu, Daniel J. Sorin
ET
2002
90views more  ET 2002»
13 years 9 months ago
Test Wrapper and Test Access Mechanism Co-Optimization for System-on-Chip
Test access mechanisms (TAMs) and test wrappers are integral parts of a system-on-chip (SOC) test architecture. Prior research has concentrated on only one aspect of the TAM/wrappe...
Vikram Iyengar, Krishnendu Chakrabarty, Erik Jan M...