2564 search results - page 183 / 513 » Witness sets of projections |
163
click to vote
CVBIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A method for the non-rigid, multi-modal, registration of volumetric scans of human hands is presented. PET and MR scans are aligned by optimising the configuration of a ...
147
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
147
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
In this poster we present an overview of the techniques we used to develop and evaluate a text categorisation system for the PRINCIP project which sets out to automatically classi...
134
click to vote
SIGUCCS
2004
ACM
15 years 11 months ago
2004
ACM
Determining the desired relationship between IT professionals and faculty is an important step in setting expectations and developing programs to achieve that relationship. Two co...
165
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. We describe a mechanism based on distributed Event-ConditionAction (ECA) rules that supports data coordination in a multidatabase setting. The proposed mechanism includes...