696 search results - page 42 / 140 » Explaining abstract counterexamples |
130
click to vote
TFM
2009
Springer
15 years 10 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...
120
click to vote
NETCOOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Modeling the competition among telecommunication operators (or providers) as a repeated game may explain why tacit collusion to maintain high charging prices can be obser...
121
click to vote
ECAL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Artificial agents controlled by dynamic recurrent node networks with fixed weights are evolved to search for food and associate it with one of two different temperatur...
116
click to vote
GD
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Constrained stress majorization is a promising new technique for integrating application specific layout constraints into forcedirected graph layout. We significantly i...
106
Voted
TBILLC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we present a game theoretic account of a subclass of ‘relevance’ implicatures arising from irrelevant answers. We show that these phenomena can be expl...