Sciweavers

2941 search results - page 287 / 589
» The Myth of the Educational Computer
Sort
View
CORR
2010
Springer
90views Education» more  CORR 2010»
15 years 6 months ago
Table manipulation in simplicial databases
In [Spi], we developed a category of databases in which the schema of a database is represented as a simplicial set. Each simplex corresponds to a table in the database. There, our...
David I. Spivak
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 6 months ago
On building minimal automaton for subset matching queries
We address the problem of building an index for a set D of n strings, where each string location is a subset of some finite integer alphabet of size , so that we can answer effici...
Kimmo Fredriksson
CORR
2010
Springer
90views Education» more  CORR 2010»
15 years 6 months ago
Multi-Unit Auctions: Beyond Roberts
We exhibit incentive compatible multi-unit auctions that are not affine maximizers (i.e. are not of the VCG family) and yet approximate the social welfare to within a factor of 1 ...
Shahar Dobzinski, Noam Nisan
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 6 months ago
The Complexity of Finding Reset Words in Finite Automata
We study several problems related to finding reset words in deterministic finite automata. In particular, we establish that the problem of deciding whether a shortest reset word ha...
Jörg Olschewski, Michael Ummels
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 6 months ago
A Fast Approach to Creative Telescoping
Abstract. In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that e...
Christoph Koutschan