3071 search results - page 54 / 615 » Explanatory Design Theory |
KR
2010
Springer
15 years 2 months ago
2010
Springer
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
INTERACT
2003
14 years 11 months ago
2003
: This paper reports on a software tutorial designed according to minimalist principles. The design extends minimalism beyond paper-based instructions to computer-based interface, ...
UTP
2010
14 years 8 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
JITECH
2008
14 years 9 months ago
2008
: The use of information technology (IT) in organizations has undergone dramatic changes the past 30 years. As a result, it has become increasingly common to adopt a services rathe...
FPLAY
2008
14 years 11 months ago
2008
Conflict theory can be used to explain the interactions between societies during times of turmoil and change (i.e. revolutions, strikes or everyday debates). Games have been produ...