4211 search results - page 556 / 843 » Types as Abstract Interpretations |
179
click to vote
SG
2007
Springer
16 years 19 days 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...
194
click to vote
SLS
2007
Springer
16 years 19 days 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...
167
click to vote
TACAS
2007
Springer
16 years 19 days 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...
160
click to vote
TLCA
2007
Springer
16 years 19 days 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...
152
click to vote
UC
2007
Springer
16 years 19 days 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...