1898 search results - page 40 / 380 » About the art in this issue |
ARTS
1999
Springer
14 years 4 days ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
IUI
2004
ACM
14 years 1 months ago
2004
ACM
Complex systems abound in nature and are becoming increasingly important in artificial systems. The understanding and controlling of such systems is a major challenge. This paper ...
GRAPHITE
2007
ACM
13 years 11 months ago
2007
ACM
This review tells about the International Conference on Information Visualization that is held annually in London, England. Themes selected from the Conference Proceedings are foc...
TVCG
2008
13 years 7 months ago
2008
In this paper, we deal with the problem of synthesizing novel motions of standing-up martial arts such as Kickboxing, Karate, and Taekwondo performed by a pair of humanlike charact...
ICMCS
1999
IEEE
14 years 4 days ago
1999
IEEE
At Wellesley College very rarely do the Fine Art and Computer Science faculty cross paths. That was the case until two years ago when we taught an experimental course that brought...