846 search results - page 95 / 170 » Rewrite-Based Decision Procedures |
150
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
168
Voted
CONSTRAINTS
2010
15 years 3 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
118
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. We propose a method for automatically correcting the spherical topology of any segmentation under any digital connectivity. A multiple region growing process, concurrentl...
128
Voted
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
In functional Magnetic Resonance Imaging group studies, uncertainties on the individual BOLD responses are not taken into account by standard detection procedures, which may limit...
158
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...