1677 search results - page 130 / 336 » On the Completeness of Quantum Computation Models |
220
click to vote
ICWS
2009
IEEE
15 years 4 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
266
click to vote
TMI
1998
15 years 6 months ago
1998
—In this paper implicit representations of deformable models for medical image enhancement and segmentation are considered. The advantage of implicit models over classical explic...
178
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Active Shape Models are commonly used to recognize and locate different aspects of known rigid objects. However, they require an off-line learning stage, such that the ex...
288
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
190
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...