241 search results - page 29 / 49 » Tool-support for the analysis of hybrid systems and models |
COLING
2000
13 years 9 months ago
2000
This paper describes a hybrid parsing method for Japanese which uses both a hand-crafted grammar and a statistical technique. The key feature of our system is that in order to est...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper describes a hybrid AOA/TODA Mobile Station (MS) location estimation method based on the CDMA wireless communications signals. The method utilized estimates the Angle ...
AB
2007
Springer
14 years 1 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
AIPS
2007
13 years 10 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
ICCD
2008
IEEE
14 years 4 months ago
2008
IEEE
— We use a novel virtualization-based approach for computer architecture performance analysis. We present a case study analyzing a hypothetical hybrid main memory, which consists...