3504 search results - page 121 / 701 » Computational Aspects of Equilibria |
WADT
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
VL
1996
IEEE
14 years 3 months ago
1996
IEEE
Fundamental to the design of visual languages are the goals of facilitating communication between people and computers, and between people and other people. The Object Block Progr...
INTERACT
1997
14 years 16 days ago
1997
This paper describes an innovative approach to teaching about human-computer interaction to a large class of students in their third year of a Computer Science major. Because of t...
AAECC
2008
Springer
13 years 11 months ago
2008
Springer
In a previous article [14], we proved the existence of resolvent representations for regular differential ideals. The present paper provides practical algorithms for computing suc...
CE
2008
13 years 11 months ago
2008
Developing children as successful learners is a key aim of A Curriculum for Excellence in Scotland. This paper presents qualitative results from an eight week exploratory field st...