1395 search results - page 80 / 279 » Designs for home life |
ALIFE
1998
14 years 11 months ago
1998
Creating artificial life forms through evolutionary robotics faces a “chicken and egg” problem: learning to control a complex body is dominated by problems specific to its s...
ICIDS
2009
Springer
15 years 6 months ago
2009
Springer
Using lifelogging tools, personal digital artifacts are collected continuously and passively throughout each day. The wealth of information such an archive contains on our life his...
ICSEA
2006
IEEE
15 years 5 months ago
2006
IEEE
In recent years component-based development has in resent years become an established approach. Component-based Software Engineering (CBSE) that deals with the entire lifecycle of ...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model is input-output equival...
DAC
1994
ACM
15 years 3 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...