10055 search results - page 302 / 2011 » Structured programming using processes |
91
Voted
EMNLP
2010
14 years 10 months ago
2010
In this paper, we investigate how modeling content structure can benefit text analysis applications such as extractive summarization and sentiment analysis. This follows the lingu...
78
Voted
CSL
2007
Springer
15 years 6 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
79
Voted
EVOW
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper employs genetic programming to discover statistical arbitrage strategies on the banking sector in the Euro Stoxx universe. Binary decision rules are evolved us...
134
click to vote
VLSID
2004
IEEE
16 years 29 days ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
125
Voted
FIDJI
2003
Springer
15 years 5 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...