Sciweavers

784 search results - page 83 / 157
» An underlying model for defeat mechanisms
Sort
View
ICASSP
2009
IEEE
15 years 4 months ago
Testing fractal connectivity in multivariate long memory processes
Within the framework of long memory multivariate processes, fractal connectivity is a particular model, in which the low frequencies (coarse scales) of the interspectrum of each p...
Herwig Wendt, Antoine Scherrer, Patrice Abry, Soph...
DIS
2007
Springer
15 years 4 months ago
A Consequence Finding Approach for Full Clausal Abduction
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
Oliver Ray, Katsumi Inoue
IEAAIE
2007
Springer
15 years 4 months 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
LFCS
2007
Springer
15 years 4 months ago
A Decidable Temporal Logic of Repeating Values
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
Stéphane Demri, Deepak D'Souza, Régi...
SEKE
2007
Springer
15 years 4 months ago
Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...
Navin Viswanath, Rajshekhar Sunderraman