Sciweavers

1712 search results - page 44 / 343
» A Computational Approach to Binding Theory
Sort
View
CHI
2003
ACM
16 years 5 days ago
Post-cognitivist HCI: second-wave theories
Historically, the dominant paradigm in HCI, when it appeared as a field in early 80s, was information processing ("cognitivist") psychology. In recent decades, as the fo...
Bonnie A. Nardi, Edwin Hutchins, James D. Hollan, ...
PPDP
2004
Springer
15 years 5 months ago
A semantics for tracing declarative multi-paradigm programs
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
Bernd Brassel, Michael Hanus, Frank Huch, Germ&aac...
ICAIL
2003
ACM
15 years 5 months ago
Induction of Defeasible Logic Theories in the Legal Domain
Defeasible Logic is a promising representation for legal knowledge that appears to overcome many of the deficiencies of previous approaches to representing legal knowledge. Unfor...
Benjamin Johnston, Guido Governatori

Book
3743views
16 years 9 months ago
Image processing and data analysis: The multiscale approach
"There is a very large literature on the theoretical underpinnings of the wavelet transform. However, theory must be complemented with a significant amount of practical work...
Jean-Luc Starck, Fionn Murtagh, Albert Bijaoui
KI
2009
Springer
15 years 6 months ago
Planning with h +  in Theory and Practice
Abstract. Many heuristic estimators for classical planning are based on the socalled delete relaxation, which ignores negative effects of planning operators. Ideally, such heuristi...
Christoph Betz, Malte Helmert