4172 search results - page 320 / 835 » Computing Machinery and Understanding |
219
click to vote
AGP
2010
IEEE
15 years 11 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
167
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
213
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
156
click to vote
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present a system that automatically generates caricatures from input face images. From example caricatures drawn by an artist, our caricature system learns how a...
195
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
Being able to declaratively specify control within a planning (or theorem-proving) paradigm is necessary if we are to build intelligent machines. This paper introduces an implemen...