7167 search results - page 540 / 1434 » Answer Set Programming |
145
click to vote
ACL
2010
15 years 2 months ago
2010
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...
124
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Human Resources Management (HRM) is the strategic management of the employees, who individually and collectively contribute to the achievement of the strategic goals of an organiza...
143
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
140
click to vote
ISW
2007
Springer
15 years 11 months ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...
180
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...