AAECC
2008
Springer
13 years 8 months ago
2008
Springer
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...
DEON
2010
Springer
13 years 8 months ago
2010
Springer
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...
LREC
2010
13 years 10 months ago
2010
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...
ISSAC
1991
Springer
14 years 1 days ago
1991
Springer
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...
TYPES
2000
Springer
14 years 2 days ago
2000
Springer
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 ...
ASIACRYPT
2001
Springer
14 years 1 months ago
2001
Springer
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:
3DIM
2005
IEEE
14 years 2 months ago
2005
IEEE
The present paper focuses on efficient inverse rendering using a Photometric Stereo technique for realistic surfaces. The technique primarily assumes the Lambertian reflection mod...
ICIP
2008
IEEE
14 years 3 months ago
2008
IEEE
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...