344 search results - page 41 / 69 » Automated Weld Tracking |
MICCAI
2002
Springer
14 years 11 months ago
2002
Springer
We propose to match a labeled mesh onto the patient brain surface in a multiresolution way for labeling the patient brain. Labeling the patient brain surface provides a map of the ...
CADE
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...
CADE
2008
Springer
14 years 11 months ago
2008
Springer
Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. The most efficient SMT solvers rely on refutationa...
EDBT
2002
ACM
14 years 11 months ago
2002
ACM
The handling of user preferences is becoming an increasingly important issue in present-day information systems. Among others, preferences are used for information filtering and ex...
Publication
The most expressive way humans display emotions is through facial expressions. Humans detect and interpret faces and facial expressions in a scene with little or no effort. Still, ...