Sciweavers

1423 search results - page 67 / 285
» Interpreting distributed ontologies
Sort
View
FOIS
2010
13 years 9 months ago
On the Representation of Quantities and their Parts in Conceptual Modeling
In a series of publications, we have employed ontological theories and principles used to evaluate and improve the quality of conceptual modeling grammars and models. In this artic...
Giancarlo Guizzardi
PDPTA
2007
13 years 9 months ago
Python-based Distributed Programming with Trickle
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
Gregory Benson, Alexey Fedosov
DLOG
2009
13 years 6 months ago
Reasoning With Weighted Ontologies
We study the problem of reasoning over weighted ontologies. We assume that every axiom is labeled with an element of a distributive lattice (called its weight) and try to compute i...
Rafael Peñaloza
CSL
2005
Springer
14 years 1 months ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper
JCB
2002
74views more  JCB 2002»
13 years 7 months ago
Using Substitution Matrices to Estimate Probability Distributions for Biological Sequences
Accurately estimating probabilities from observations is important for probabilistic-based approaches to problems in computational biology. In this paper we present a biologically...
Eleazar Eskin, William Stafford Noble, Yoram Singe...