2519 search results - page 294 / 504 » Reasoning with Textual Cases |
178
click to vote
IEEEICCI
2006
IEEE
16 years 19 days ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
184
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
139
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract. We describe simple algebraic and combinatorial characterisations of finite relational core structures admitting finitely many obstructions. As a consequence, we show th...
146
click to vote
DOCENG
2006
ACM
16 years 17 days ago
2006
ACM
Automatic table layout is required in web applications. Unfortunately, this is NP-hard for reasonable layout requirements such as minimizing table height for a given width. One ap...
161
click to vote
SIGCSE
2006
ACM
16 years 16 days ago
2006
ACM
Case-based analysis is a bottom-up methodology for ethical reasoning. In a teaching environment, it can be a useful alternative to top-down methods, such as Kantianism, utilitaria...