7335 search results - page 1213 / 1467 » Scene Based Reasoning |
198
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
194
click to vote
EPEW
2005
Springer
16 years 2 days ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
154
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
164
click to vote
HUC
2005
Springer
16 years 2 days ago
2005
Springer
Location systems that are based on scanning for nearby radio sources can estimate the position of a mobile device with reasonable accuracy and high coverage. These systems require ...
186
click to vote
HYBRID
2005
Springer
16 years 2 days ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...