7504 search results - page 143 / 1501 » Computing with Action Potentials |
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— This paper deals with the optimization of RobotObstacle interaction computations, in the context of nonholonomic trajectory deformation for mobile robots. We first rec...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
Data mining techniques frequently find a large number of patterns or rules, which make it very difficult for a human analyst to interpret the results and to find the truly interes...
JAIR
2010
13 years 6 months ago
2010
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...
SOCIALCOM
2010
13 years 2 months ago
2010
Much has been documented in the literature on sentiment analysis and document summarisation. Much of this applies to long structured text in the form of documents and blog posts. W...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...