Sciweavers

1128 search results - page 60 / 226
» Classical Natural Deduction
Sort
View
APWEB
2006
Springer
14 years 1 months ago
Building Content Clusters Based on Modelling Page Pairs
We give a new view on building content clusters from page pair models. We measure the heuristic importance within every two pages by computing the distance of their accessed positi...
Christoph Meinel, Long Wang 0002
APAL
2006
112views more  APAL 2006»
13 years 10 months ago
On complexity of verification of interacting agents' behavior
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
IJON
2006
119views more  IJON 2006»
13 years 10 months ago
Support vector machine for functional data classification
Abstract. Functional data analysis is a growing research field and numerous works present a generalization of the classical statistical methods to function classification or regres...
Fabrice Rossi, Nathalie Villa
CORR
2007
Springer
107views Education» more  CORR 2007»
13 years 10 months ago
Functional Multi-Layer Perceptron: a Nonlinear Tool for Functional Data Analysis
In this paper, we study a natural extension of Multi-Layer Perceptrons (MLP) to functional inputs. We show that fundamental results for classical MLP can be extended to functional...
Fabrice Rossi, Brieuc Conan-Guez
FSS
2007
113views more  FSS 2007»
13 years 10 months ago
The core of bicapacities and bipolar games
Bicooperative games generalize classical cooperative games in the sense that a player is allowed to play in favor or against some aim, besides non participation. Bicapacities are ...
Lijue Xie, Michel Grabisch