3319 search results - page 348 / 664 » Type Theoretical Databases |
118
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
114
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Our paper concerns optimal combinations of different types of reinsurance contracts. We introduce a novel approach based on the Mean-Variance-Criterion to solve this task. Two sta...
121
Voted
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
108
Voted
PPSN
2000
Springer
15 years 7 months ago
2000
Springer
Domain knowledge is essential for successful problem solving and optimization. This paper introduces a framework in which a form of automatic domain knowledge extraction can be im...
121
Voted
AAAI
2010
15 years 5 months ago
2010
As autonomous agents proliferate in the real world, both in software and robotic settings, they will increasingly need to band together for cooperative activities with previously ...