Sciweavers

89 search results - page 8 / 18
» Essential AOP: The A Calculus
Sort
View
UAI
2001
13 years 9 months ago
Toward General Analysis of Recursive Probability Models
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
Daniel Pless, George F. Luger
HICSS
2005
IEEE
114views Biometrics» more  HICSS 2005»
14 years 2 months ago
Delta Changes for OO Software Adaptation: Pervasive or Invasive?
The ability for software products to adapt to future changes is essential. Whether the change, the delta, is prefixed to subclasses or postfixed to super classes, class hierarchie...
Atef Bader, Shangping Ren, Husein Armouti
KR
2004
Springer
14 years 1 months ago
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
Ken Kaneiwa, Riichiro Mizoguchi
ECOOP
2003
Springer
14 years 1 months ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
EUSFLAT
2007
155views Fuzzy Logic» more  EUSFLAT 2007»
13 years 10 months ago
Enriched Generic Algebras of Fuzzy Relations
The paper presents an overview of a computation friendly calculus of fuzzy relations. It is presented within the framework of an enriched generic algebra of relations that we have...
Ladislav J. Kohout