3690 search results - page 299 / 738 » Computation with classical sequents |
163
click to vote
RTA
2004
Springer
15 years 10 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
130
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
In this work we address the problem of forest species recognition which is a very challenging task and has several potential applications in the wood industry. The first contribu...
149
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The Multi-agent Systems (MASs) paradigm continues to consolidate itself as a new branch of software engineering. Traditional software engineering strongly recommends to apply metr...
156
click to vote
CLUSTER
2003
IEEE
15 years 10 months ago
2003
IEEE
Hmmpfam is a widely used computation-intensive bioinformatics software for sequence classification. The contribution of this paper is the first largely scalable and robust clust...
157
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Mesh partitioning is an important problem that has extensive applications in many areas. Multilevel algorithms are a successful class of optimization techniques which addresses th...