DLOG
2011
13 years 2 months ago
2011
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for DLs, where research focused on the...
EPIA
1993
Springer
14 years 3 months ago
1993
Springer
We present some recent results from our research on methods for finding the minimal solutions to linear Diophantine equations over the naturals. We give an overview of a family of...
EPIA
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. A new algorithm for finding the minimal solutions of systems of linear Diophantine equations has recently been published. In its description the emphasis was put on the ...
STACS
2007
Springer
14 years 5 months ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
CVPR
2008
IEEE
15 years 1 months ago
2008
IEEE
A generic imaging model refers to a non-parametric camera model where every camera is treated as a set of unconstrained projection rays. Calibration would simply be a method to ma...