6167 search results - page 864 / 1234 » Can Refinement be Automated |
130
click to vote
WCRE
1993
IEEE
15 years 9 months ago
1993
IEEE
Recognizing commonly used data structures and algorithms is a key activity in reverse engineering. Systems developed to automate this recognition process have been isolated, stand...
157
click to vote
ECAI
1992
Springer
15 years 9 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
137
click to vote
SIGGRAPH
1994
ACM
15 years 9 months ago
1994
ACM
This paper describes the principles of traditional pen-and-ink illustration, and shows how a great number of them can be implemented as part of an automated rendering system. It i...
162
click to vote
ACII
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we present a novel framework for analysing non-stylised motion in order to detect implicitly communicated affect. Our approach makes use of a segmentation technique w...
158
Voted
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
-- Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the final result, often by neg...