1733 search results - page 208 / 347 » The challenges of software engineering education |
213
click to vote
AI
2012
Springer
14 years 2 months ago
2012
Springer
This paper describes a challenging plan recognition problem that arises in environments in which agents engage widely in exploratory behavior, and presents new algorithms for eff...
185
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
CAPTCHAs protect online resources and services from automated access. From an attacker’s point of view, they are typically perceived as an annoyance that prevents the mass creat...
205
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
Interaction with large unstructured datasets is difficult because existing approaches, such as keyword search, are not always suited to describing concepts corresponding to the di...
163
click to vote
SCAM
2006
IEEE
16 years 15 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
181
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...