1721 search results - page 38 / 345 » The fundamentals of hybrid systems modelers |
138
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Abstract-- A generalized Hamiltonian method (GHM) was recently proposed for the passivity test of hybrid descriptor systems [1]. This paper extends the GHM theory to its S-paramete...
166
click to vote
NAACL
2007
15 years 7 months ago
2007
We propose a high-performance cascaded hybrid model for Chinese NER. Firstly, we use Boosting, a standard and theoretically wellfounded machine learning method to combine a set of...
164
click to vote
ECBS
2009
IEEE
16 years 28 days ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
156
click to vote
HYBRID
1995
Springer
15 years 9 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
170
click to vote
GI
2005
Springer
15 years 11 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...