3679 search results - page 21 / 736 » Hybrid Semantic Analysis |
104
Voted
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
83
Voted
DEDS
2008
15 years 15 days ago
2008
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...
86
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
121
Voted
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
In Latent Semantic Indexing (LSI), a collection of documents is often pre-processed to form a sparse term-document matrix, followed by a computation of a low-rank approximation to...
77
Voted
LOGCOM
2006
15 years 11 days ago
2006
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate propertie...