6413 search results - page 802 / 1283 » Classes of cycle bases |
331
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
312
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
173
click to vote
LATA
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
176
click to vote
ICS
2010
Tsinghua U.
16 years 4 months ago
2010
Tsinghua U.
: We study the design of mechanisms in combinatorial auction domains. We focus on settings where the auction is repeated, motivated by auctions for licenses or advertising space. W...
161
click to vote
ALT
2008
Springer
16 years 4 months ago
2008
Springer
The question investigated in this paper is to what extent an input representation influences the success of learning, in particular from the point of view of analyzing agents that...