8874 search results - page 24 / 1775 » A New Implementation of Automath |
AAAI
1996
14 years 8 days ago
1996
In this paper we describe the design and implementation of the derivation replay framework, dersnlp+ebl (Derivational snlp+ebl), which is based within a partial order planner. der...
ISCAS
2007
IEEE
14 years 5 months ago
2007
IEEE
— The new theory of compressive sensing enables direct analog-to-information conversion of compressible signals at subNyquist acquisition rates. We develop new theory, algorithms...
AP2PS
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we propose a new implementation of the JXTA framework, based on the integration of the original JXTA version with the Chord DHT management protocol. The resulting ne...
NA
2010
13 years 9 months ago
2010
We propose a new O(n)-space implementation of the GKO-Cauchy algorithm for the solution of linear systems where the coefficient matrix is Cauchy-like. Moreover, this new algorithm...
ATAL
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we present an agent-oriented modeling language, called MAS-ML, and an approach for mapping its diagrams into Java implementations. MAS-ML extends the UML meta-model ...