2316 search results - page 82 / 464 » The many forms of hypercomputation |
117
click to vote
BIRTHDAY
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
113
click to vote
VLDB
1989
ACM
15 years 8 months ago
1989
ACM
We consider the following problem: given a labelled directedgraphG anda regularexpressionR, find all pairs of nodesconnectedby a simplepathsuchthattheconcatenationof thelabelsalon...
133
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
ACT We present ongoing research on large-scale decision models in which there are many invested individuals. We apply our unique Bayesian belief aggregation approach to decision pr...
131
click to vote
CSEE
2007
Springer
15 years 8 months ago
2007
Springer
Many, if not most, Computer Science programs contain some form of capstone, or senior, project as a key requirement in receiving a bachelor's degree in Computer Science or So...
126
click to vote
AAAI
2007
15 years 6 months ago
2007
Online mechanism design considers the problem of sequential decision making in a multi-agent system with self-interested agents. The agent population is dynamic and each agent has...