This paper presents an analysis of entries in the first TAC Market Design Competition that compares the entries across several scenarios. The analysis complements previous work a...
Jinzhong Niu, Kai Cai, Peter McBurney, Simon Parso...
. – This paper presents the analysis and design of a novel mini-robotic platform that is able to perform translational and rotational sliding with sub-micrometer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
In this paper, a design method for automotive architectures is proposed. The two main technical contributions are (i) a novel hardware/software architecture encoding that unifies ...