Sciweavers

700 search results - page 36 / 140
» Towards a theory of
Sort
View
FSKD
2007
Springer
128views Fuzzy Logic» more  FSKD 2007»
13 years 11 months ago
A First Step towards an Epistemology of the Subjective Uncertainty: Its Premises and Modeling
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
Fabio Campos, Andre Neves, R. Souza
ETS
2000
IEEE
82views Hardware» more  ETS 2000»
13 years 7 months ago
Towards a Philosophy of Instruction
What is the nature of instructional design? Is instructional design merely the practical application of learning theories to learning situations? What elements form the building b...
J. Michael Spector
CADE
2008
Springer
14 years 8 months ago
Towards SMT Model Checking of Array-Based Systems
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
ER
2003
Springer
119views Database» more  ER 2003»
14 years 1 months ago
Toward the Automatic Derivation of XML Transformations
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two different schemas. These approaches are not appropri...
Martin Erwig
BIRTHDAY
2010
Springer
13 years 9 months ago
Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
Vladik Kreinovich