128 search results - page 15 / 26 » Declarative Representation of Proof Terms |
ICVGIP
2004
13 years 9 months ago
2004
This paper describes a method of fingerprint classification using Eigen Block Directional Fingerprints. The method we propose dispenses off with the preprocessing stages such as s...
AAMAS
2007
Springer
13 years 7 months ago
2007
Springer
We describe our preliminary work in modeling conversation specifications and policies as positive/negative permissions and obligations. Our model is generic as it is independent o...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
The standard SQL assumes that the users are aware of all tables and their schemas to write queries. This assumption may be valid when the users deal with a relatively small number...
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
COMPGEOM
2008
ACM
13 years 9 months ago
2008
ACM
This video presents the working of a new algorithm/software called DelPSC that meshes piecewise smooth complexes in three dimensions with Delaunay simplices. Piecewise smooth comp...