1036 search results - page 58 / 208 » Natural Narrowing for General Term Rewriting Systems |
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
KCAP
2009
ACM
14 years 2 months ago
2009
ACM
One of the grand challenges of AI is to build systems that learn by reading. The ideal system would construct a rich knowledge base capable of automated reasoning. We have built a...
ASSETS
2008
ACM
13 years 9 months ago
2008
ACM
Word prediction helps to increase communication rate when using Augmentative and Alternative Communication devices. Basic prediction systems offer topically inappropriate predicti...
JANCL
2008
13 years 7 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
HYBRID
2010
Springer
13 years 5 months ago
2010
Springer
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...