1364 search results - page 219 / 273 » Comparative Branching-Time Semantics |
151
click to vote
IUI
2005
ACM
15 years 9 months ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
139
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
107
click to vote
PCM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Next generation information appliances are required to handle realtime audio/video playback and in the mean time should be able to handle text based requests such as data...
118
click to vote
GC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...
153
click to vote
MICAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...