8874 search results - page 169 / 1775 » A New Implementation of Automath |
120
Voted
ACG
2006
Springer
15 years 10 months ago
2006
Springer
First, this paper introduces a new family of k-in-a-row games, Connect(m, n, k, p, q). In Connect(m, n, k, p, q), two players alternately place p stones on an m × n board in each ...
137
click to vote
VLDB
2001
ACM
15 years 8 months ago
2001
ACM
In recent years, several methods have been proposed for implementing interactive similarity queries on multimedia databases. Common to all these methods is the idea to exploit use...
140
click to vote
DOLAP
2000
ACM
15 years 8 months ago
2000
ACM
Being able to efficiently answer arbitrary OLAP queries that aggregate along any combination of dimensions over numerical and categorical attributes has been a continued, major co...
131
click to vote
ICSR
2000
Springer
15 years 7 months ago
2000
Springer
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
137
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents an update on the current state of development of the Text Encoding Initiative's Guidelines for Electronic Text Encoding and Interchange. Since the last ma...