Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattac...
This paper reports on the results of our recent NASA SBIR contract, “Autonomous Self-Repairing Circuits,” in which we developed a novel approach to fault-tolerant circuit synt...
Abstract— We propose a planning algorithm that allows usersupplied domain knowledge to be exploited in the synthesis of information feedback policies for systems modeled as parti...
Salvatore Candido, James C. Davidson, Seth Hutchin...
Military supply chains encompass a complicated network of customers and suppliers, and deal with a wide variety of items. Demand inside the network is generated at the unit level ...
Joshua Burton McGee, Manuel D. Rossetti, Scott J. ...
The nDCG measure has proven to be a popular measure of retrieval effectiveness utilizing graded relevance judgments. However, a number of different instantiations of nDCG exist, d...