299 search results - page 43 / 60 » Model Eco-Systems: Preliminary Work |
116
click to vote
CORR
2000
Springer
15 years 1 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
126
click to vote
Publication
3D reconstruction from 2D images is an active research topic in the computer vision community. Classical algorithms like Structure From Motion (SFM) and Multi-View Stereo (MVS) are...
142
click to vote
AIED
2009
Springer
14 years 11 months ago
2009
Springer
Educational games may be particularly suited to teaching social learning skills with virtual humans. We investigate the importance of social goals and engaging social interactions ...
176
click to vote
CANDC
2011
ACM
14 years 1 months ago
2011
ACM
This paper describes a computerized aesthetic composition task that is based on a “creativity as search” metaphor. The technique collects detailed, moment-to-moment data about...
117
click to vote
LPAR
1999
Springer
15 years 6 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...