Sciweavers

3179 search results - page 329 / 636
» Applications of PCF Theory
Sort
View
126
Voted
KR
2004
Springer
15 years 9 months ago
Multidimensional Mereotopology
To support commonsense reasoning about space, we require a qualitative calculus of spatial entities and their relations. One requirement for such a calculus, which has not so far ...
Antony Galton
NMR
2004
Springer
15 years 9 months ago
A first approach to argument-based recommender systems based on defeasible logic programming
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
Carlos Iván Chesñevar, Ana Gabriela ...
WEBI
2004
Springer
15 years 9 months ago
A Web-Based Intelligent Tutoring System for Computer Programming
Web Intelligence is a direction for scientific research that explores practical applications of Artificial Intelligence to the next generation of Web-empowered systems. In this ...
Cory J. Butz, Shan Hua, R. Brien Maguire
120
Voted
WIA
2004
Springer
15 years 9 months ago
Testability of Oracle Automata
d abstract) Gaoyan Xie, Cheng Li, and Zhe Dang   School of Electrical Engineering and Computer Science Washington State University Pullman, WA 99164, USA Abstract. In this paper, ...
Gaoyan Xie, Cheng Li, Zhe Dang
118
Voted
DCC
2003
IEEE
15 years 9 months ago
Rate-Distortion Bound for Joint Compression and Classification
- Rate-distortion theory is applied to the problem of joint compression and classification. A Lagrangian distortion measure is used to consider both the squared Euclidean error in ...
Yanting Dong, Lawrence Carin