We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
— Although experimentation is a frequent activity of engineers, they usually use primitive strategies to carry on their experiments. A survey identifies the needs of using an eff...
This paper presents a new control methodology for a nonholonomic electric two-wheeled vehicle wherein the autonomous and man-machine cooperative controls are synthesized. In the pr...
There are two issues that are challenging in the life-cycle of Digital Talking Books (DTB): the automatic labeling of text formatting meta-data in documents and the multimodal repr...
asks abstracted from observation of typical search tasks performed by 48 participants using a modified Google interface. Kelly and Belkin defined context of search more broadly tha...