1766 search results - page 84 / 354 » Developing Applications With Objective Caml |
FCSC
2007
15 years 1 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper builds on previous work on optimal methodologies for the design of numerical subsystems for non-linear, uncertain hardware-in-the-loop (HWIL) simulators. Firstly, th...
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— One of the most basic capabilities for an agent with a vision system is to recognize its own surroundings. Yet surprisingly, despite the ease of doing so, many robots store lit...
107
click to vote
MMM
2006
Springer
15 years 8 months ago
2006
Springer
Providing a fully functional multimedia DBMS (MMDBMS) becomes an emergency with the recent development of distributed environments. In this paper, we address the impact of using w...
HAPTICS
2002
IEEE
15 years 7 months ago
2002
IEEE
We have developed a tactile display that uses electric current from the skin surface as a stimulus. Our main objective was to independently stimulate a variety of mechanoreceptors...