8874 search results - page 71 / 1775 » A New Implementation of Automath |
123
Voted
AIPS
2008
15 years 5 months ago
2008
This document formalizes and discusses the implementation of a new, more efficient probabilistic plan recognition algorithm called Yet Another Probabilistic Plan Recognizer, (Yapp...
147
Voted
SWWS
2008
15 years 4 months ago
2008
Abstract The growing demand for large and complex ontologies present new challenges related to their design, maintenance and evolution. In this paper, we propose an approach to man...
129
click to vote
WSC
2000
15 years 4 months ago
2000
An efficient implementation of linear feedback shift register sequences with a given characteristic polynomial is obtained by a new method. It involves a polynomial linear congrue...
141
click to vote
CSC
2009
15 years 4 months ago
2009
- In this paper, we introduce a new parameter iteration method (P-Iteration for short) which can be applied on Adams-Moulton methods to solve initial value problems. Compared with ...
137
Voted
JUCS
2007
15 years 3 months ago
2007
: Multi-processor systems have become the standard in current computer architectures. Software developers have the possibility to take advantage of the additional computing power a...