6881 search results - page 64 / 1377 » Motivation |
68
Voted
SIGMOD
2003
ACM
16 years 12 hour ago
2003
ACM
In Spring 2003, Joe Hellerstein at Berkeley and Natassa Ailamaki at CMU collaborated in designing and running parallel editions of an undergraduate database course that exposed st...
TFM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
IWQOS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper discusses the motivation for developing a new QoS signaling protocol for IP-based Radio Access Networks. It describes the main characteristics of these network...
CSCLP
2004
Springer
15 years 5 months ago
2004
Springer
Super solutions provide a framework for finding robust solutions to Constraint Satisfaction Problems [5, 3]. We present a novel application of super solutions to combinatorial auc...
102
click to vote
DALT
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, the notion of declarative goals as used in agent programming is central. Declarative goals describe desirable states and are updated during the execution of an agent...