361 search results - page 56 / 73 » Novel Design and Modeling of a Mobile Parallel Manipulator |
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
ECOOPW
2008
Springer
13 years 10 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
MM
2003
ACM
14 years 2 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
ISPASS
2009
IEEE
14 years 3 months ago
2009
IEEE
Modern Graphic Processing Units (GPUs) provide sufficiently flexible programming models that understanding their performance can provide insight in designing tomorrow’s manyco...