1189 search results - page 68 / 238 » The Quotient of an Abstract Interpretation |
CISS
2008
IEEE
14 years 4 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...
MKM
2007
Springer
14 years 4 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 ...
MHCI
2004
Springer
14 years 3 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...
ECSQARU
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
DAGSTUHL
2003
13 years 11 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...