4814 search results - page 755 / 963 » Combining abstract interpreters |
SPIN
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
VECPAR
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Optimization problems constrained by nonlinear partial differential equations have been the focus of intense research in scientific computing lately. Current methods for...
WCW
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. A wide range of techniques have been proposed, implemented, and even standardized for improving the performance of Web content delivery. However, previous work has found ...
ECCV
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. By coding the input testing image as a sparse linear combination of the training samples via l1-norm minimization, sparse representation based classification (SRC) has b...
XSYM
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We are presenting a coherent framework for XQuery processing that incorporates IR-style approximate matching and allows the ordering of results by their relevance score. ...