Sciweavers

5205 search results - page 224 / 1041
» Tilings and model theory
Sort
View
ICDE
1997
IEEE
77views Database» more  ICDE 1997»
15 years 2 days 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
SEMWEB
2005
Springer
14 years 4 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
14 years 3 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
AUSAI
2006
Springer
14 years 2 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
SIGLEX
1991
14 years 2 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