17018 search results - page 18 / 3404 » From the How to the What |
DAWAK
2008
Springer
13 years 9 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
DIAGRAMS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we develop a cognitive account of autism centered around a reliance on pictorial representations. This Thinking in Pictures hypothesis shows significant po...
ICALP
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Software components, if usedproperly, ofj~r many software engineering benefits. Yet, they also pose many original challenges starting fi'om quality assurance and ranging to a...
AGP
2010
IEEE
13 years 11 months ago
2010
IEEE
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...