753 search results - page 117 / 151 » Constructing program animations using a pattern-based approa... |
119
click to vote
AHS
2007
IEEE
16 years 9 days ago
2007
IEEE
Finite impulse response (FIR) structures are the most commonly used digital filters and can be found in various areas of everyday life. In this paper we introduce a novel approac...
152
click to vote
CAV
2007
Springer
16 years 4 days ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
160
click to vote
CONCUR
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
148
click to vote
VRML
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we discuss the benefits of extending VRML by constraints and present a new way based on prototypes and scripting to implement this extension. Our approach is easy-t...
200
click to vote
AAAI
2007
15 years 8 months ago
2007
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....