Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
AAECC
2008
Springer
63views Algorithms» more  AAECC 2008»
10 years 1 months ago
Probabilistic algorithms for computing resolvent representations of regular differential ideals
In a previous article [14], we proved the existence of resolvent representations for regular differential ideals. The present paper provides practical algorithms for computing suc...
Thomas Cluzeau, Evelyne Hubert
DEON
2010
Springer
10 years 1 months ago
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
Robert Trypuz, Piotr Kulicki
LREC
2010
156views Education» more  LREC 2010»
10 years 3 months ago
Heterogeneous Sensor Database in Support of Human Behaviour Analysis in Unrestricted Environments: The Audio Part
In the present paper we report on a recent effort that resulted in the establishment of a unique multimodal database, referred to as the PROMETHEUS database. This database was cre...
Stavros Ntalampiras, Todor Ganchev, Ilyas Potamiti...
ISSAC
1991
Springer
89views Mathematics» more  ISSAC 1991»
10 years 5 months ago
On the Resolution of Index Form Equations
In the present paper we describe a new algorithm to determine the minimal index and all elements with minimal index in totally real biquadratic fields with Galois group D8. The m...
István Gaál, Attila Pethö, Mich...
TYPES
2000
Springer
10 years 5 months ago
An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma
Higman's lemma has a very elegant, non-constructive proof due to Nash-Williams [NW63] using the so-called minimal-bad-sequence argument. The objective of the present paper is ...
Monika Seisenberger
ASIACRYPT
2001
Springer
10 years 6 months ago
Generic Attacks on Feistel Schemes
Let A be a Feistel scheme with 5 rounds from 2n bits to 2n bits. In the present paper we show that for most such schemes A:
Jacques Patarin
3DIM
2005
IEEE
10 years 7 months ago
Efficient Photometric Stereo Technique for Three-Dimensional Surfaces with Unknown BRDF
The present paper focuses on efficient inverse rendering using a Photometric Stereo technique for realistic surfaces. The technique primarily assumes the Lambertian reflection mod...
Li Shen, Takashi Machida, Haruo Takemura
ICIP
2008
IEEE
10 years 8 months ago
Fast fluid extensions for image registration algorithms
The present paper shows a sytematic way to derive fluid-like registration equations. The novel technique is demonstrated for the case of optical flow-based and diffusion-based r...
Jens-Peer Kuska, Patrick Scheibe, Ulf-Dietrich Bra...
books