838 search results - page 136 / 168 » From Natural Language to Formal Proof Goal |
160
click to vote
CHES
2006
Springer
15 years 9 months ago
2006
Springer
Balanced dynamic dual-rail gates and asynchronous circuits have been shown, if implemented correctly, to have natural and efficient resistance to side-channel attacks. Despite thei...
202
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we describe a new approach for mining concept associations from large text collections. The concepts are short sequences of words that occur frequently together acr...
172
click to vote
CDVE
2007
Springer
16 years 8 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
122
click to vote
IJCAI
2001
15 years 7 months ago
2001
Story generation is experiencing a revival, despite disappointing preliminary results from the preceding three decades. One of the principle reasons for previous inadequacies was ...
204
click to vote
EMNLP
2011
14 years 5 months ago
2011
We propose a general method to watermark and probabilistically identify the structured outputs of machine learning algorithms. Our method is robust to local editing operations and...