Sciweavers

1321 search results - page 48 / 265
» Quadratic forms on graphs
Sort
View
VL
2007
IEEE
104views Visual Languages» more  VL 2007»
14 years 4 months ago
A Peirce Style Calculus for ALC
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
Frithjof Dau, Peter W. Eklund
IAT
2006
IEEE
14 years 4 months ago
A Multi-agent Mechanism for Topology Balancing in Unstructured P2P Networks
Unstructured P2P networks can grow in an ad-hoc and give rise to scale-free graphs where most of the nodes form clusters or hubs around few resourceful nodes. This leads to conges...
Prithviraj Dasgupta
CORR
2006
Springer
149views Education» more  CORR 2006»
13 years 10 months ago
Synonym search in Wikipedia: Synarcher
The program Synarcher for synonym (and related terms) search in the text corpus of special structure (Wikipedia) was developed. The results of the search are presented in the form...
Andrew Krizhanovsky
PC
2008
111views Management» more  PC 2008»
13 years 10 months ago
A partitioning algorithm for block-diagonal matrices with overlap
We present a graph partitioning algorithm that aims at partitioning a sparse matrix into a block-diagonal form, such that any two consecutive blocks overlap. We denote this form o...
Guy Antoine Atenekeng Kahou, Laura Grigori, Masha ...
SIAMDM
2008
79views more  SIAMDM 2008»
13 years 10 months ago
Testing Triangle-Freeness in General Graphs
In this paper we consider the problem of testing whether a graph is triangle-free, and more generally, whether it is H-free, for a fixed subgraph H. The algorithm should accept gr...
Noga Alon, Tali Kaufman, Michael Krivelevich, Dana...