2377 search results - page 60 / 476 » Hybrid Systems in TLA |
129
click to vote
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
HYBRID
2004
Springer
15 years 6 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 ...
98
Voted
HYBRID
2004
Springer
15 years 6 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...
122
click to vote
CIKM
2009
Springer
15 years 7 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
15 years 4 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...