7335 search results - page 1213 / 1467 » Scene Based Reasoning |
230
click to vote
EMSOFT
2005
Springer
16 years 22 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...
228
click to vote
EPEW
2005
Springer
16 years 22 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...
168
click to vote
FOSSACS
2005
Springer
16 years 21 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...
183
click to vote
HUC
2005
Springer
16 years 21 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 ...
202
click to vote
HYBRID
2005
Springer
16 years 21 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...