1689 search results - page 111 / 338 » Refining abstract interpretations |
136
click to vote
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
251
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
141
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—The Dantzig selector is a recently introduced technique for near-optimal estimatation of sparse signals from a limited set of measurements. This paper offers an interpre...
116
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The disambiguation approach to the input of formulae enables the user to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When ...
126
click to vote
MHCI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...