3690 search results - page 47 / 738 » Computation with classical sequents |
ICDM
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we study the problem of classifying chemical compound datasets. We present a sub-structure-based classification algorithm that decouples the sub-structure discovery...
CA
2002
IEEE
15 years 2 months ago
2002
IEEE
For the management of a large number of motion data for humanoid virtual actors we propose to use a database system to store and retrieve motion data with additional information. ...
CG
2010
Springer
14 years 9 months ago
2010
Springer
Interacting populations exhibit complex behavior in nature. Classic quadratic iteration models with two or three populations exhibit some of the features seen in nature, but fail ...
FSTTCS
1998
Springer
15 years 1 months ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
RTA
2005
Springer
15 years 3 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...