652 search results - page 105 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
IJRR
2000
14 years 9 months ago
2000
The inverse kinematics problem is formulated as a parameterized autonomous dynamical system problem, and respective analysis is carried out. It is shown that a singular point of w...
BMCBI
2006
14 years 10 months ago
2006
Background: Recently there has been a lot of interest in identifying modules at the level of genetic and metabolic networks of organisms, as well as in identifying single genes an...
CVPR
2000
IEEE
15 years 12 months ago
2000
IEEE
The quest for a vision system capable of representing and recognizing arbitrary motions benefits from a low dimensional, non-specific representation of flow fields, to be used in ...
CVPR
2008
IEEE
15 years 12 months ago
2008
IEEE
Human-aided computing proposes using information measured directly from the human brain in order to perform useful tasks. In this paper, we extend this idea by fusing computer vis...
ECAI
1992
Springer
15 years 2 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...