Results 291 to 300 of about 1,895,438 (316)
Some of the next articles are maybe not open access.
2007
This chapter covers a method for animating frame by frame using Flash symbols in a manner that is closer to traditional animation techniques. Modern technology has, in many ways, eliminated much of the drudgery of doing animation in contrast to how animation was created many years ago.
openaire +1 more source
This chapter covers a method for animating frame by frame using Flash symbols in a manner that is closer to traditional animation techniques. Modern technology has, in many ways, eliminated much of the drudgery of doing animation in contrast to how animation was created many years ago.
openaire +1 more source
2015
Some parts of the software verification process require human annotation, but as much as possible of the rest should be automatic. An excellent candidate for full automation is change analysis, also known as the frame problem: how to determine which program properties remain unchanged under a given operation.
openaire +1 more source
Some parts of the software verification process require human annotation, but as much as possible of the rest should be automatic. An excellent candidate for full automation is change analysis, also known as the frame problem: how to determine which program properties remain unchanged under a given operation.
openaire +1 more source