1914 search results - page 154 / 383 » Verification by Abstract Interpretation |
84
Voted
MKM
2007
Springer
15 years 7 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
15 years 6 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...
130
click to vote
ECSQARU
2003
Springer
15 years 6 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
15 years 2 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,...
IJHCI
2008
15 years 24 days ago
2008
senting them at different levels of abstraction. This can make the analysis complex and unwieldy, requiring teams of analysts to manage it. A new approach to managing the complexit...