Sciweavers

4126 search results - page 50 / 826
» Relationships with other Formalisms
Sort
View
JAPLL
2008
76views more  JAPLL 2008»
14 years 12 months ago
The many faces of counts-as: A formal analysis of constitutive rules
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
MKM
2007
Springer
15 years 6 months ago
Using Formal Concept Analysis in Mathematical Discovery
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...
Simon Colton, Daniel Wagner
INFOCOM
2005
IEEE
15 years 5 months ago
Relating two formal models of path-vector routing
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...
Aaron D. Jaggard, Vijay Ramachandran
APCCM
2006
15 years 1 months ago
The formal semantics of the timeER model
A wide range of database applications manage information that varies over time. Many of the underlying database schemas of these were designed using one of the several versions of...
Heidi Gregersen
CLA
2004
15 years 1 months ago
Binary Factor Analysis with Help of Formal Concepts
Binary factor analysis (BFA, also known as Boolean Factor Analysis) is a nonhierarchical analysis of binary data, based on reduction of binary space dimension. It allows us to find...
Ales Keprt, Václav Snásel