In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
In the Shape from Shading methods, an extended approach named Uni-directional Photometric Flow Fields is proposed in this paper. The reflectance property of the surface material i...
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will ...
Purdue University established the first academic department of computer sciences in 1962. The events, starting in 1959, leading to its establishment are chronicled, and then its f...
Topic tracking and information filtering are models of interactive tasks, but their evaluations are generally done in a way that does not reflect likely usage. The models either f...