3025 search results - page 238 / 605 » Automatic Programming of Robots Using Genetic Programming |
118
Voted
MICAI
2000
Springer
15 years 7 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
115
Voted
ICRA
2008
IEEE
2008
IEEE
Comparison of robotic and clinical motor function improvement measures for sub-acute stroke patients
15 years 10 months ago
Abstract— In this paper, preliminary results in motor function improvement for four sub-acute stroke patients that underwent a hybrid robotic and traditional rehabilitation progr...
139
Voted
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
Traditional parallel programming styles have many problems which hinder the development of parallel applications. The message passing style can be too complex for many programmers...
166
Voted
CADE
2009
Springer
16 years 4 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
100
click to vote
BIOINFORMATICS
2005
15 years 3 months ago
2005
: Recent advances in gene sequencing have provided complete sequence information for a number of genomes and as a result the amount of data in the sequence databases is growing at ...