3053 search results - page 120 / 611 » Hybrid Systems Diagnosis |
HYBRID
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
HYBRID
2004
Springer
14 years 3 months ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
CIKM
2009
Springer
14 years 4 months ago
2009
Springer
![Hydra: a hybrid recommender system [cross-linked rating and content information]](https://www.sciweavers.org/files/imagecache/thumbnail/imagecache/hydra_a_hybrid_recommender_system_cross_linked_rating_and_content_information_CIKM_2009.jpg "Hydra: a hybrid recommender system [cross-linked rating and content information]")
This paper discusses the combination of collaborative and contentbased filtering in the context of web-based recommender systems. In particular, we link the well-known MovieLens ...
CONCUR
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
TWC
2008
13 years 10 months ago
2008
Abstract--Wireless infrastructures can be conveniently categorized into two types: those that provide point-to-point `unicast' connectivity (e.g., cellular) and others that ar...