31387 search results - page 361 / 6278 » Abstracts |
149
click to vote
VMCAI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
149
click to vote
CHARME
2005
Springer
16 years 11 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
198
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
ive CLP® ABSTRACT Ali A. Milani Broadband speech enhancement and active noise control nvironment ABSTRACT Vanishree Gopalakrishna Real-Time Implementation of Signal Processing Str...
144
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
ZMADIA Zsolt, Mr. Simplex methods and the convex quadratic programming problem 1026Abstract00059.doc EYAT Mujahed, Mr. IPM based sparse LP solver o...
145
click to vote
APLAS
2004
ACM
16 years 8 days ago
2004
ACM
Abstract. Fusion calculus is commonly regarded as a generalisation of pi. Actually, we prove that there is no uniform fully abstract embedding