365 search results - page 19 / 73 » Program Generation in the Equivalent Transformation Computat... |
146
click to vote
CC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
159
click to vote
EVOW
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...
116
click to vote
IDA
2009
Springer
15 years 9 months ago
2009
Springer
This work presents a novel robust method for a two-channel multiple Time Difference of Arrival (TDOA) estimation. The method is based on a recursive frequency-domain Independent C...
117
click to vote
ACL
2009
15 years 25 days ago
2009
Paraphrase generation (PG) is important in plenty of NLP applications. However, the research of PG is far from enough. In this paper, we propose a novel method for statistical par...
137
click to vote
CC
2006
Springer
15 years 6 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...