1306 search results - page 131 / 262 » A Diagrammatic Approach to Model Completion |
107
click to vote
DEBS
2007
ACM
15 years 4 months ago
2007
ACM
Content-based routing (CBR) provides the core distribution support of several middleware paradigms, most notably content-based publish-subscribe. Despite its popularity, however, ...
90
Voted
BMCBI
2008
15 years 26 days ago
2008
Background: In addition to their use in detecting undesired real-time PCR products, melting temperatures are useful for detecting variations in the desired target sequences. Metho...
77
Voted
ENVSOFT
2007
15 years 21 days ago
2007
The project goal was to loosely couple the SWAT model and the QUAL2E model and compare their combined ability to predict total phosphorus (TP) and NO3-N plus NO2-N yields to the a...
100
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Detecting an object part relies on two sources of information - the appearance of the part itself, and the context supplied by surrounding parts. In this paper we consider problem...
110
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...