1716 search results - page 82 / 344 » Proving Conditional Termination |
CIARP
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. A theoretical analysis for comparing two linear dimensionality reduction (LDR) techniques, namely Fisher's discriminant (FD) and Loog-Duin (LD) dimensionality reduci...
CONCUR
2009
Springer
13 years 6 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
IJCAI
2003
13 years 10 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
FM
2009
Springer
14 years 3 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
MOBIQUITOUS
2005
IEEE
14 years 2 months ago
2005
IEEE
Third generation mobile communication systems will provide more advanced types of interactive and distribution services, and video is one of the most prominent applications for mu...