13306 search results - page 2517 / 2662 » Theoretical Computer Science |
219
click to vote
AIMSA
2010
Springer
15 years 8 months ago
2010
Springer
We propose ontological blending as a new method for `creatively' combining ontologies. In contrast to other combination techniques that aim at integrating or assimilating cate...
166
click to vote
FLAIRS
2006
15 years 8 months ago
2006
This paper describes the design and execution of a roboticsthemed AI elective at a small liberal arts institution. An important goal of the course is to spark and nurture students...
215
click to vote
IJCAI
2003
15 years 8 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
193
click to vote
SODA
2003
ACM
15 years 8 months ago
2003
ACM
The natural relaxation for the Group Steiner Tree problem, as well as for its generalization, the Directed Steiner Tree problem, is a flow-based linear programming relaxation. We...
189
click to vote
CASCON
1993
15 years 8 months ago
1993
The growth of commercial and academic interest in parallel and distributed computing during the past fifteen years has been accompanied by a corresponding increase in the number o...