7504 search results - page 57 / 1501 » Computing with Action Potentials |
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
Automated static analysis can identify potential source code anomalies early in the software process that could lead to field failures. However, only a small portion of static ana...
AIEDAM
1999
13 years 7 months ago
1999
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
SCN
2011
Springer
13 years 2 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
MC
2008
13 years 9 months ago
2008
Tool use often challenges the human motor system, especially when these tools require sensorimotor transformations. We report an experiment using a digitizer tablet, in which diff...
AIPS
2000
13 years 9 months ago
2000
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...