6978 search results - page 1257 / 1396 » On Proofs in System P |
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
DSD
2002
IEEE
14 years 2 months ago
2002
IEEE
We discuss the gap we experience in an industrial design path of high-speed packet switches. As bandwidth demand exceeds progress in CMOS technology, system architects are forced ...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
The purpose of this paper is to give a comprehensive understanding of the role and importance of e-catalogs in today’s e-commerce strategies. The main contribution of our work i...
ICDM
2002
IEEE
14 years 2 months ago
2002
IEEE
We empirically evaluate the performance of various reinforcement learning methods in applications to sequential targeted marketing. In particular, we propose and evaluate a progre...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
A semi-autonomous robot for autonomous installation and removal of aircraft warning spheres on overhead wires of electric power transmission lines is described here. Hybrid system...