4595 search results - page 800 / 919 » Reasoning about Plans |
151
Voted
DASFAA
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we propose a method to search the Web for sentence substitutions for a given sentence query. Our method uses only lexico-syntactic patterns dynamically generated fro...
207
Voted
DIMVA
2011
14 years 7 months ago
2011
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...
136
Voted
JOC
2011
14 years 6 months ago
2011
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...
206
Voted
PADL
2011
Springer
14 years 6 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
158
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...