Sciweavers

10568 search results - page 172 / 2114
» Computer Intelligence and Formalization
Sort
View
151
Voted
HCI
2009
15 years 16 days 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
129
Voted
IEEEICCI
2009
IEEE
15 years 14 days 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
108
Voted
BIRTHDAY
2006
Springer
15 years 6 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
119
Voted
COORDINATION
2008
Springer
15 years 4 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
124
Voted
HUC
2009
Springer
15 years 7 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