1860 search results - page 298 / 372 » A Temporal Logic of Robustness |
177
click to vote
MIDDLEWARE
2007
Springer
15 years 12 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
141
click to vote
TACAS
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
160
click to vote
ANSS
2006
IEEE
15 years 12 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
142
click to vote
CIMCA
2006
IEEE
15 years 12 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
146
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...