2725 search results - page 346 / 545 » Constraint Solving for Interpolation |
157
click to vote
CSCLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Graph pattern matching is a central application in many fields. In various areas, the structure of the pattern can only be approximated and exact matching is then too ac...
140
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
147
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Semantic Web Services are emerging for their promise to produce a more accurate and precise Web Service discovery process. However, most of research approaches focus only...
118
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
135
click to vote
AMDO
2004
Springer
15 years 10 months ago
2004
Springer
We present a method to solve the human silhouette tracking problem using 18 major human points. We used: a simple 2D model for the human silhouette, a linear prediction technique f...