Sciweavers

5205 search results - page 224 / 1041
» Tilings and model theory
Sort
View
ICDE
1997
IEEE
77views Database» more  ICDE 1997»
16 years 2 months ago
Pinwheel Scheduling for Fault-Tolerant Broadcast Disks in Real-time Database Systems
The design of programsfor broadcastdisks which incorporatereal-time and fault-tolerance requirements is considered. A generalized model for real-time fault-tolerant broadcast disk...
Sanjoy K. Baruah, Azer Bestavros
64
Voted
SEMWEB
2005
Springer
15 years 6 months ago
A Fuzzy Semantics for Semantic Web Languages
Although the model-theoretic semantics of the languages used in the Semantic Web are crisps, the need arise to extend them to represent fuzzy data, in the same way fuzzy logic exte...
Mauro Mazzieri, Aldo Franco Dragoni
CONTEXT
1999
Springer
15 years 5 months ago
The Formal Structure of Ecological Contexts
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
Barry Smith, Achille C. Varzi
106
Voted
AUSAI
2006
Springer
15 years 4 months ago
An Analysis of Three Puzzles in the Logic of Intention
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
Wayne Wobcke
103
Voted
SIGLEX
1991
15 years 4 months ago
Lexicon, Ontology, and Text Meaning
A computationally relevant theory of lexical semantics must take into consideration both the form and the content of three different static knowledge sources -- the lexicon, the o...
Boyan A. Onyshkevych, Sergei Nirenburg