4372 search results - page 149 / 875 » Algorithmic Theories of Everything |
90
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
106
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
We study two properties of coalition formation algorithms, very important for their application in real-life scenarios: robustness and tolerance to some agent misbehaviors. The st...
125
click to vote
COMPGEOM
2003
ACM
15 years 6 months ago
2003
ACM
We address the problem of curvature estimation from sampled smooth surfaces. Building upon the theory of normal cycles, we derive a definition of the curvature tensor for polyhed...
110
click to vote
DOCENG
2003
ACM
15 years 6 months ago
2003
ACM
By exploiting the theories of automata and graphs, we propose algorithms and a process for editing valid XML documents [4][5]. The editing process avoids syntactic violations alto...
121
click to vote
AAAI
2008
15 years 3 months ago
2008
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...