Sciweavers

2840 search results - page 439 / 568
» Information Retrieval and Artificial Intelligence
Sort
View
CP
2007
Springer
16 years 18 days ago
Filtering for Subgraph Isomorphism
A subgraph isomorphism problem consists in deciding if there exists a copy of a pattern graph in a target graph. We introduce in this paper a filtering algorithm dedicated to this...
Stéphane Zampelli, Yves Deville, Christine ...
IEAAIE
2007
Springer
16 years 18 days ago
Case Analysis of Criminal Behaviour
In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal de...
Tibor Bosse, Charlotte Gerritsen, Jan Treur
KI
2007
Springer
16 years 17 days ago
Relational Neural Gas
Abstract. Prototype-based clustering algorithms such as the Self Organizing Map (SOM) or Neural Gas (NG) offer powerful tools for automated data inspection. The distribution of pr...
Barbara Hammer, Alexander Hasenfuss
LFCS
2007
Springer
16 years 17 days ago
The Intensional Lambda Calculus
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
Sergei N. Artëmov, Eduardo Bonelli
MDAI
2007
Springer
16 years 17 days ago
A Public-Key Protocol for Social Networks with Private Relationships
Abstract. The need for protecting the privacy of relationships in social networks has recently been stressed in the literature. Conventional protection mechanisms in those networks...
Josep Domingo-Ferrer