Sciweavers

8337 search results - page 407 / 1668
» Reasoning With Characteristic Models
Sort
View
DSRT
1999
IEEE
15 years 11 months ago
Resolving Concurrent Interactions
Serialization, the traditional method of resolving concurrent interactions, is often inappropriate; when interactions are dependent on each other, other policies for resolving the...
Anand Natrajan, Paul F. Reynolds Jr.
FUIN
2010
103views more  FUIN 2010»
15 years 5 months ago
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security
A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
CAGD
2010
132views more  CAGD 2010»
15 years 4 months ago
Simplicial diffeomorphisms
In this paper we introduce a new framework for geometric modeling that combines implicit and parametric surface representations with volumetric warpings. The framework is based on...
Vinícius Mello, Luiz Velho
ENTCS
2002
97views more  ENTCS 2002»
15 years 6 months ago
Sketch Data Models, Relational Schema and Data Specifications
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
Michael Johnson, Robert D. Rosebrugh
ILP
2007
Springer
16 years 1 months ago
Learning to Assign Degrees of Belief in Relational Domains
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
Frédéric Koriche