6167 search results - page 164 / 1234 » Can Refinement be Automated |
138
Voted
AGI
2008
15 years 6 months ago
2008
Artificial Intelligence deals with the automated simulation of human intelligent behavior. Various aspects of human faculties are tackled using computational models. It is clear th...
108
click to vote
VISAPP
2008
15 years 6 months ago
2008
The permanent presence of underwater cameras on cabled observatories, such as the Victoria Experimental Network Under the Sea (VENUS) and Eye-In-The-Sea (EITS) on Monterey Accelera...
122
click to vote
ISTA
2003
15 years 6 months ago
2003
: In this paper we discuss several issues related to the influence of expansion of a Web document representation on quality of topical categorization of Web pages. We consider a W...
115
click to vote
COMPSEC
2008
15 years 4 months ago
2008
Abstract-- Rootkit attacks are a serious threat to computer systems. Packaged with other malware such as worms, viruses and spyware, rootkits pose a more potent threat than ever be...
137
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...