4600 search results - page 149 / 920 » Presenting the cyclotactor project |
ISSAC
1994
Springer
14 years 1 months ago
1994
Springer
In this paper, we describe an algorithm to compute arbitrary stationary multiple-point formulas. We report its full implementation in Maple and show some examples matching formula...
ISSAC
1992
Springer
14 years 1 months ago
1992
Springer
We present some new classes of numbers that are easier to test for primality with the Elliptic Curve Primality Proving algorithm than average numbers. It is shown that this is the...
ESWS
2007
Springer
14 years 26 days ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
CSMR
2009
IEEE
14 years 26 days ago
2009
IEEE
This is an experience report on the architectural reengineering of a large software portfolio. In order to minimize the risks of such an undertaking, companies tend to be conserva...
ACL
2007
13 years 10 months ago
2007
The aim of this paper is to present a simple yet efficient implementation of a tool for simultaneous rule-based morphosyntactic tagging and partial parsing formalism. The parser ...