4211 search results - page 556 / 843 » Types as Abstract Interpretations |
194
click to vote
SG
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. NPR Lenses is an interactive technique for producing expressive non-photorealistic renderings. It provides an intuitive visual interaction tool for illustrators, allowing...
232
click to vote
SLS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This work presents an algorithm for the sub-graph isomorphism problem based on a new pruning technique for directed graphs. During the tree search, the method checks if a...
191
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Many important problems in bioinformatics and genetics require analyses that are NP-complete. For example, one of the basic problems facing researchers that analyze pedig...
177
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
176
click to vote
UC
2007
Springer
16 years 1 months ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...