10916 search results - page 282 / 2184 » On Constructive Connectives and Systems |
169
click to vote
AINA
2010
IEEE
15 years 12 months ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
158
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
201
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
The paper deals with the problem of reconstructing the tree-like topological structure of a network of linear dynamical systems. A distance function is defined in order to evaluat...
159
click to vote
EXACT
2007
15 years 9 months ago
2007
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...
168
click to vote
ERSA
2007
15 years 8 months ago
2007
This paper describes a proof-of-concept implementation of a basic autonomous computing system. The system consists of an XUP Virtex-II Pro board running Linux and a set of softwar...