2203 search results - page 116 / 441 » Temporal Abstract Interpretation |
124
click to vote
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. This paper presents a robust method to correct for intensity differences across a series of aligned stained histological slices. The method is made up of two steps. First...
130
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the complexity of consistency checking and query answering on incomplete databases for languages ranging from non-recursive Datalog to disjunctive Datalog with n...
163
Voted
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
115
Voted
IJCAI
1997
15 years 4 months ago
1997
In teaching case-based argumentation skills, the CATO program, an intelligent learning environment, guides students' assessments of partial matches between problems and cases...
142
Voted
HAIS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In the last years, several papers have proposed to adopt multiobjective evolutionary algorithms (MOEAs) to generate Mamdani fuzzy rulebased systems with different trade-o...