10055 search results - page 438 / 2011 » Structured programming using processes |
170
click to vote
MP
2010
15 years 5 months ago
2010
: Each linear program (LP) has an optimal basis. The space of linear programs can be partitioned according to these bases, so called the basis partition. Discovering the structures...
184
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We present a unifying approach to the efļ¬cient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ā...
220
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Automated veriļ¬cation of multi-threaded programs is diļ¬cult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
203
Voted
MM
2003
ACM
16 years 2 days ago
2003
ACM
Music thumbnailing (or music summarization) aims at finding the most representative part of a song, which can be used for web browsing, web searching and music recommendation. Thr...
194
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: RNA secondary structure prediction methods based on probabilistic modeling can be developed using stochastic context-free grammars (SCFGs). Such methods can readily co...