1187 search results - page 133 / 238 » Graph-Based Procedural Abstraction |
SIGGRAPH
1995
ACM
15 years 5 months ago
1995
ACM
Techniques from the image and signal processing domain can be successfully applied to designing, modifying, and adapting animated motion. For this purpose, we introduce multiresol...
112
click to vote
VL
1995
IEEE
15 years 5 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
101
click to vote
CPAIOR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...
113
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
133
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...