6978 search results - page 1238 / 1396 » On Proofs in System P |
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Although the human hand is a complex biomechanical system, only a small set of features may be necessary for observation learning of functional grasp classes. We explor...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
— As nanostructured bioelectronic interfaces continue to evolve for sensor applications, new readout circuits are needed to harness their capabilities. This paper presents a sing...
IWPC
2007
IEEE
14 years 3 months ago
2007
IEEE
Programmers need tools to help explore large software systems when performing software evolution tasks. A variety of tools have been created to improve the effectiveness of such e...
MOBIQUITOUS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Body sensor networks consisting of low-power onbody wireless sensors attached to mobile users will be used in the future to monitor the health and well being of patient...
NOCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Recent remarkable advances in nanoscale siliconphotonic integrated circuitry specifically compatible with CMOS fabrication have generated new opportunities for leveraging the uni...