We introduce a scheme for constructing a CatmullClark subdivision surface that interpolates the vertices of a quadrilateral mesh with arbitrary topology. The basic idea here is to...
Zhongxian Chen, Xiaonan Luo, Le Tan, Binghong Ye, ...
We investigate the price of anarchy of a load balancing game with K dispatchers. The service rates and holding costs are assumed to depend on the server, and the service disciplin...
There has been an increased interest in design of that it can give better performance, if a modified noise broadband (data rate >IMSPS) delta sigma ADCs with over- transfer func...
A. K. Gupta, E. Sanchez-Sinencio, S. Karthikeyan, ...
In order to maintain their performance in a dynamic environment, agents may be required to modify their learning behavior during run-time. If an agent utilizes a rule-based system...
Stephen Quirolgico, K. Canfield, Timothy W. Finin,...
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...