17018 search results - page 18 / 3404 » From the How to the What |
DAWAK
2008
Springer
15 years 2 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 ...
92
Voted
DIAGRAMS
2008
Springer
15 years 2 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
15 years 17 days 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
16 years 14 days 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...
149
click to vote
AGP
2010
IEEE
15 years 3 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 ...