580 search results - page 91 / 116 » Towards a Theory of Conceptual Modelling |
101
click to vote
FOSSACS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
HCI
2007
14 years 11 months ago
2007
The cultural diversity of users of technology challenges our methods for usability evaluation. In this paper we report on a multi-site, cross-cultural grounded theory field study o...
HCI
2007
14 years 11 months ago
2007
In this paper, we summarized recent work in modeling how users socially forage and search for information. One way to bridge between different communities of users is to diversify ...
CADE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
111
click to vote
AAI
2005
14 years 9 months ago
2005
1 One of the major challenges of Applied Artificial Intelligence is to provide environments where high level human activities like learning, constructing theories or performing exp...