10568 search results - page 566 / 2114 » Computer Intelligence and Formalization |
150
click to vote
CONTEXT
2007
Springer
16 years 19 days ago
2007
Springer
Informal notions of context often imply much more than that captured in many computational formalisms of it. The view presented in this paper, built on our understanding of designi...
171
Voted
SAS
2007
Springer
16 years 17 days ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
160
Voted
SKG
2006
IEEE
16 years 14 days ago
2006
IEEE
In this paper, we proposed the learning resource ontology(LRO) models to formally describe learning content and learning context, respectively. In addition to utilizing the models...
143
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...
173
click to vote
ICDCSW
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we investigate the survivability of multilevel ad-hoc groups for critical operations through a case study. We aim to provide a formal trust framework for establishin...