Sciweavers

8838 search results - page 337 / 1768
» Generalizing Domain Theory
Sort
View
148
Voted
IWFM
1998
15 years 8 months ago
Motivation for a New Semantics for Vagueness
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...
Mark Changizi
ENTCS
2008
79views more  ENTCS 2008»
15 years 6 months ago
Tensors of Comodels and Models for Operational Semantics
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...
Gordon D. Plotkin, John Power
163
Voted
ACS
2002
15 years 6 months ago
Azumaya Categories
We define the notions of Azumaya category and Brauer group in category theory enriched over some very general base category V. We prove the equivalence of various definitions, in ...
Francis Borceux, Enrico Vitale
MOC
2000
88views more  MOC 2000»
15 years 6 months ago
A posteriori error estimation for variational problems with uniformly convex functionals
The objective of this paper is to introduce a general scheme for deriving a posteriori error estimates by using duality theory of the calculus of variations. We consider variationa...
Sergey I. Repin
IJCAI
1989
15 years 8 months ago
Constrained Heuristic Search
Cognitive architectures aspire for generality both in terms of problem solving and learning across a range of problems, yet to date few examples of domain independent learning has...
Mark S. Fox, Norman M. Sadeh, Can A. Baykan