309 search results - page 59 / 62 » Platform modeling for exploration and synthesis |
ICES
2001
Springer
15 years 2 months ago
2001
Springer
This paper introduces the concept of polymorphic electronics (polytronics) –referring to electronics with superimposed built-in functionality. A function change does not require ...
ASE
2005
14 years 10 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
RSS
2007
14 years 11 months ago
2007
Abstract— This paper reviews a template for dynamical climbing originating in biology, explores its stability properties in a numerical model, and presents empirical data from a ...
TROB
2008
14 years 9 months ago
2008
The interplay between robotics and neuromechanics facilitates discoveries in both fields: nature provides roboticists with design ideas, while robotics research elucidates critical...
125
click to vote
GLOBECOM
2010
IEEE
14 years 8 months ago
2010
IEEE
Cognitive networking deals with applying cognition to the entire network protocol stack for achieving stack-wide as well as network-wide performance goals, unlike cognitive radios ...