1760 search results - page 216 / 352 » A System to Mark Programs Automatically |
88
Voted
IADIS
2003
15 years 4 months ago
2003
We describe the current state of a resource that enables research in the human sciences with differential access rights for experimenters and participants in experiments. We outli...
103
click to vote
SERP
2003
15 years 4 months ago
2003
In this paper we present a new approach to writing Makefiles and a system called maker which helps in this process. Our main goals are: ease the process of writing user Makefiles...
126
click to vote
WOA
2003
15 years 4 months ago
2003
- Mobile agents are an emerging approach to develop distributed and parallel applications. They also can be used to develop enterprise applications, since they can act as active ne...
91
Voted
AAAI
1990
15 years 4 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
118
click to vote
TOG
2008
15 years 3 months ago
2008
We propose a data-driven approach to automatically generate a scene where tens to hundreds of characters densely interact with each other. During off-line processing, the close in...