3693 search results - page 14 / 739 » Splitting a Logic Program |
119
Voted
VRST
1999
ACM
15 years 6 months ago
1999
ACM
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
108
click to vote
WABI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper, we use integer programming approach for solving a hard combinatorial optimization problem, namely protein threading. For this sequence-to-structure alignme...
113
click to vote
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...
147
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
Stereo matching is an active area of research in image processing. In a recent work, a convex programming approach was developed in order to generate a dense disparity field. In ...
128
click to vote
CONCUR
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...