4372 search results - page 309 / 875 » Algorithmic Theories of Everything |
201
click to vote
ICDT
2012
ACM
13 years 8 months ago
2012
ACM
We introduce a representation system for relational data based on algebraic factorisation using distributivity of product over union and commutativity of product and union. We giv...
169
click to vote
ICDT
2012
ACM
13 years 8 months ago
2012
ACM
We introduce a new normal form, called essential tuple normal form (ETNF), for relations in a relational database where the constraints are given by functional dependencies and jo...
162
click to vote
MOBIHOC
2009
ACM
16 years 6 months ago
2009
ACM
Location-free boundary recognition is crucial and critical for many fundamental network functionalities in wireless ad hoc and sensor networks. Previous designs, often coarse-grai...
153
click to vote
GECCO
2009
Springer
16 years 24 days ago
2009
Springer
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of emp...
139
click to vote
SIGECOM
2009
ACM
16 years 23 days ago
2009
ACM
Policy teaching considers a Markov Decision Process setting in which an interested party aims to influence an agent’s decisions by providing limited incentives. In this paper, ...