10568 search results - page 566 / 2114 » Computer Intelligence and Formalization |
165
click to vote
CONTEXT
2007
Springer
16 years 1 months 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...
185
click to vote
SAS
2007
Springer
16 years 1 months 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...
175
click to vote
SKG
2006
IEEE
16 years 1 months 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...
154
click to vote
AMAST
2004
Springer
16 years 13 days 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...
188
click to vote
ICDCSW
2003
IEEE
16 years 9 days 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...