8874 search results - page 421 / 1775 » A New Implementation of Automath |
206
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
: The semantic Web initiates new, high level access schemes to online content and applications. One area of superior need for a redefined content exploration is given by on-line ed...
178
click to vote
COLING
2002
15 years 7 months ago
2002
The purpose of this study is to propose a new method for machine translation. We have proceeded through with two projects for report generation (Kittredge and Polguere, 2000) : We...
218
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
Dealing with the NP-complete Dominating Set problem on graphs, we demonstrate the power of data reduction by preprocessing from a theoretical as well as a practical side. In parti...
159
click to vote
RAS
2000
15 years 7 months ago
2000
In the past decade, a large number of robots has been built that explicitly implement biological navigation behaviours. We review these biomimetic approaches using a framework tha...
131
Voted
IFE
2002
15 years 7 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...