1760 search results - page 177 / 352 » Program Analysis Using Weighted Pushdown Systems |
104
Voted
AAAI
1994
15 years 2 months ago
1994
The availability of large on-line text corpora provides a natural and promising bridge between the worlds of natural language processing (NLP) and machine learning (ML). In recent...
106
click to vote
BIB
2002
15 years 20 days ago
2002
Pise is interface construction software for bioinformatics applications that run by commandline operations. It creates common, easy to use interfaces to these for the Web, or othe...
134
click to vote
IFIPTCS
2010
14 years 10 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
190
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
112
Voted
CCS
2011
ACM
14 years 23 days ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...