157 search results - page 9 / 32 » SLIDE: A Useful Special Case of the CARDPATH Constraint |
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
The understanding of novel compounds is a special case in which we can explore the deep generativity of natural language understanding. We report a model, PUNC, which captures the ...
MICCAI
2009
Springer
14 years 9 months ago
2009
Springer
Patient-specific biomechanical models implemented using specialized nonlinear (i.e. taking into account material and geometric nonlinearities) finite element procedures were applie...
IJCAI
2003
13 years 10 months ago
2003
In constraint programming one models a problem by stating constraints on acceptable solutions. The constraint model is then usually solved by interleaving backtracking search and ...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
—This paper considers the problem of temporally fusing classifier outputs to improve the overall diagnostic classification accuracy in safety-critical systems. Here, we discuss d...