2478 search results - page 123 / 496 » Universality in two dimensions |
148
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
The Quantified Constraint Satisfaction Problem (QCSP) has been introduced to express situations in which we are not able to control the value of some of the variables (the universa...
216
click to vote
ICWS
2007
IEEE
15 years 7 months ago
2007
IEEE
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...
179
click to vote
ACE
2003
15 years 7 months ago
2003
The role of assessment in modern university curricula has become far more diverse and open to scrutiny in recent years. Although its most significant role is as a measure of a stu...
125
click to vote
ACE
2003
15 years 7 months ago
2003
An important aspect of University teaching is to promote deeper learning by ensuring students have good exposure to problems they will encounter in their working life. While it is...
165
click to vote
SCAI
2001
15 years 7 months ago
2001
In this paper we argue that RoboCup is a useful tool for the teaching of AI in undergraduate education. We provide case studies, from two Swedish universities, of how RoboCup based...