1242 search results - page 186 / 249 » The Theory of Grammar Constraints |
104
Voted
JACM
2000
15 years 14 days ago
2000
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
116
click to vote
AI
1998
Springer
15 years 12 days ago
1998
Springer
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
109
Voted
JSAC
2010
14 years 11 months ago
2010
—Over the next decades, the Internet will evolve to support increasingly complex mission-critical services such as telerobotically controlled surgery. The world’s first telero...
SIAMJO
2010
14 years 7 months ago
2010
In this paper we propose a new exchange method for solving convex semi-infinite programming (CSIP) problems. We introduce a new dropping-rule in the proposed exchange algorithm, wh...
125
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...