Sciweavers

10568 search results - page 172 / 2114
» Computer Intelligence and Formalization
Sort
View
HCI
2009
15 years 4 months ago
Distributed Intelligence and Scaffolding in Support of Cognitive Health
Computers have dramatically changed the social landscape and living practices in the 21st century. Most of those changes have empowered typically abled adults, while it is only in ...
Stefan Carmien, Randal A. Koene
IEEEICCI
2009
IEEE
15 years 4 months ago
Cognitive synergy: A universal principle for feasible general intelligence
Do there exist general principles, which any system must obey in order to achieve advanced general intelligence using feasible computational resources? Here we propose one candida...
Ben Goertzel
BIRTHDAY
2006
Springer
15 years 10 months ago
Composition by Colimit and Formal Software Development
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
Douglas R. Smith
COORDINATION
2008
Springer
15 years 8 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone
HUC
2009
Springer
15 years 11 months ago
Assessing demand for intelligibility in context-aware applications
Intelligibility can help expose the inner workings and inputs of context-aware applications that tend to be opaque to users due to their implicit sensing and actions. However, use...
Brian Y. Lim, Anind K. Dey