TROB
2016
10 years 15 days ago
2016
—Robotic rehabilitation of the upper limb following neurological injury is most successful when subjects are engaged in the rehabilitation protocol. Developing assistive control ...
TROB
2016
10 years 15 days ago
2016
—We study the problem of quickest detection of anomalies in an environment under extreme uncertainties in sensor measurements. The robotic roadmap corresponding to the environmen...
TR
2016
10 years 15 days ago
2016
—Terminal network reliability problems appear in many real–life applications, such as transportation grids, social and computer networks, communication systems, etc. In this pa...
TR
2016
10 years 15 days ago
2016
—Most existing metrics that we call white-box metrics, such as coverage metrics, require white-box information, like program structure information, and historical runtime informa...
TR
2016
10 years 15 days ago
2016
—Software failures are still a major concern in mission- and enterprise-critical contexts, despite significant efforts spent in software testing. In fact, while software testing ...
116
click to vote
TR
2016
10 years 15 days ago
2016
—Although a large research effort on web application security has been going on for more than a decade, the security of web applications continues to be a challenging problem. An...
TPLP
2016
10 years 15 days ago
2016
this article: http://journals.cambridge.org/abstract_S1471068415000125 How to cite this article: Victor W. Marek Theory and Practice of Logic Programming, Available on CJO 2015 doi...
TPLP
2016
10 years 15 days ago
2016
The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a h...
TPLP
2016
10 years 15 days ago
2016
ion and Optimization of Abstract Machines in a Dialect of Prolog∗ October 2009 facultad de inform´atica universidad polit´ecnica de madrid J. F. Morales M. Carro M. Hermenegild...
TPDS
2016
10 years 15 days ago
2016
—Particle filters are important techniques to support data assimilation for large-scale spatial temporal simulation systems. Distributed particle filters improve the performance ...