8874 search results - page 1726 / 1775 » A New Implementation of Automath |
AI
2008
Springer
13 years 10 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
ALMOB
2008
13 years 10 months ago
2008
Background: Experimental identification of microRNA (miRNA) targets is a difficult and time consuming process. As a consequence several computational prediction methods have been ...
AMC
2010
13 years 10 months ago
2010
: Parallel iterative methods are powerful tool for solving large system of linear equations (LEs). The existing parallel computing research results are focussed mainly on sparse sy...
AROBOTS
2007
13 years 10 months ago
2007
— A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. To operate in the real world, autonomo...
BIODATAMINING
2008
13 years 10 months ago
2008
During the past two decades, the field of human genetics has experienced an information explosion. The completion of the human genome project and the development of high throughpu...