2586 search results - page 137 / 518 » Automatic Abstraction for Congruences |
ESOP
2004
Springer
15 years 3 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
TSD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A formal prosody model is proposed together with its application in a text-to-speech system. The model is based on a generative of abstract prosodic functionally involved...
ICRA
1994
IEEE
15 years 2 months ago
1994
IEEE
Abstract-This paper deals with enhancing the level of autonomy in a robotic work cell. With that mission in mind, we present here an integrated framework for the sensing, the plann...
CAV
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
IJBC
2007
14 years 10 months ago
2007
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...