2694 search results - page 94 / 539 » Frege's New Science |
165
click to vote
ITICSE
2010
ACM
15 years 6 months ago
2010
ACM
Teaching wireless sensor networks (WSNs) at the undergraduate level is both challenging and rewarding. WSNs include low-level programming and debugging, power-aware operations, no...
185
click to vote
DAM
2008
15 years 6 months ago
2008
The paper studies crown reductions for the Minimum Weighted Vertex Cover problem introduced recently in the unweighted case by Fellows et al. [Blow-Ups, Win/Win's and crown r...
161
click to vote
TCS
2010
15 years 4 months ago
2010
Abstract. Core computation in data exchange is concerned with materializing the minimal target database for a given source database. Gottlob and Nash have recently shown that the c...
174
click to vote
TCS
2010
15 years 4 months ago
2010
We study non-uniform constraint satisfaction problems definable in monadic Datalog stratified by the use of non-linearity. We show how such problems can be described in terms of...
171
click to vote
ACMSE
2010
ACM
15 years 4 months ago
2010
ACM
Reinforcement Programming (RP) is a new technique for automatically generating a computer program using reinforcement learning methods. This paper describes how RP learned to gene...