Sciweavers

4126 search results - page 5 / 826
» Relationships with other Formalisms
Sort
View
CORR
2010
Springer
146views Education» more  CORR 2010»
13 years 7 months ago
Formal Relationships Between Geometrical and Classical Models for Concurrency
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...
Eric Goubault, Samuel Mimram
DASFAA
2005
IEEE
171views Database» more  DASFAA 2005»
14 years 21 days ago
Mining Succinct Systems of Minimal Generators of Formal Concepts
Formal concept analysis has become an active field of study for data analysis and knowledge discovery. A formal concept C is determined by its extent (the set of objects that fall...
Guozhu Dong, Chunyu Jiang, Jian Pei, Jinyan Li, Li...
BIRTHDAY
2004
Springer
14 years 14 days ago
On the Formal Modelling of Trust in Reputation-Based Systems
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
Mogens Nielsen, Karl Krukow
ICANN
2005
Springer
14 years 18 days ago
Content-Based Retrieval of Web Pages and Other Hierarchical Objects with Self-organizing Maps
We propose a content-based information retrieval (CBIR) method that models known relationships between multimedia objects as a hierarchical tree-structure incorporating additional ...
Mats Sjöberg, Jorma Laaksonen