192 search results - page 21 / 39 » Ordered groups: a case study in reverse mathematics |
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. I...
IFIP3
1998
13 years 10 months ago
1998
This paper intends to describe an ongoing experiment that provides a collaborative learning method applied to a case study in higher education. With this purpose, a computer-based...
AAAI
2008
13 years 11 months ago
2008
In group decision making, often the agents need to decide on multiple attributes at the same time, so that there are exponentially many alternatives. In this case, it is unrealist...
ICNP
1998
IEEE
14 years 12 days ago
1998
IEEE
Flow Theory is a rich, effective theory introduced in order to study real-time network protocols. It is based on discrete mathematics in which a flow of data is represented by an ...
JOI
2010
13 years 7 months ago
2010
This paper introduces a new approach to describe the spread of research topics across disciplines using epidemic models. The approach is based on applying individual-based models ...