6274 search results - page 931 / 1255 » Proofs, Programs, Processes |
SNPD
2007
15 years 4 months ago
2007
As malicious code has become more sophisticated and pervasive, faster and more effective system for forensics and prevention is important. Particularly, quick analysis of polymorp...
125
click to vote
AAAI
2004
15 years 4 months ago
2004
The search for finite-state controllers for partially observable Markov decision processes (POMDPs) is often based on approaches like gradient ascent, attractive because of their ...
119
Voted
AAAI
2006
15 years 4 months ago
2006
One of the well known risks of large margin training methods, such as boosting and support vector machines (SVMs), is their sensitivity to outliers. These risks are normally mitig...
159
Voted
CADUI
2004
15 years 4 months ago
2004
: This paper describes a system that helps HCI practitioners and researchers manage and conduct experiments involving context-sensitive handheld applications, particularly related ...
155
click to vote
APPINF
2003
15 years 4 months ago
2003
We deal with mechanical documentation in software development tools. First, we review tabular forms for program specification and their formal syntax by an attribute edNCE graph ...