1675 search results - page 130 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
121
click to vote
ISBRA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The lattice approach to biological structural analysis was made popular by the HP model for protein folding, but had not been used previously for RNA secondary structure ...
137
click to vote
MATES
2005
Springer
15 years 9 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
114
click to vote
CAISE
2007
Springer
15 years 10 months ago
2007
Springer
Several methods based upon textual programming languages or graphical notations have been proposed for manual modeling of business process models. But since manual process modeling...
153
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
152
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Behavioral targeting (BT) leverages historical user behavior to select the ads most relevant to users to display. The state-of-the-art of BT derives a linear Poisson regression mo...