410 search results - page 72 / 82 » Structural Comparison of Executable Objects |
AAAI
1997
13 years 9 months ago
1997
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
AROBOTS
2010
13 years 8 months ago
2010
Limitations in modern sensing technologies result in large errors in sensed target object geometry and location in unstructured environments. As a result, positioning a robotic end...
IJON
2006
13 years 7 months ago
2006
The monkey parietal anterior intraparietal area (AIP) is part of the grasp planning and execution circuit which contains neurons that encode object features relevant for grasping,...
BMCBI
2005
13 years 7 months ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
ENTCS
2000
13 years 7 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...