4172 search results - page 523 / 835 » Computing Machinery and Understanding |
139
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
135
click to vote
ERSHOV
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
179
click to vote
HIPC
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...
120
click to vote
APCHI
1998
IEEE
15 years 9 months ago
1998
IEEE
An event-driven demonstration is to show the behavior of an application by re-executing the captured events. It is used to provide help regarding how an application works because ...
154
click to vote
ICVS
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents interim results from an ongoing project on aerial image reconstruction. One important task in image interpretation is the process of understanding and identifyi...