1155 search results - page 103 / 231 » A Decision-Theoretic Model of Assistance |
145
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
152
click to vote
JITE
2008
15 years 6 months ago
2008
The proliferations of Information and Communications Technology (ICT) and an increase in the number of external students and of the digital youth have put considerable pressure up...
162
click to vote
AIS
2005
Springer
15 years 6 months ago
2005
Springer
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...
182
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
In this paper, we present the AutoCat system for product classification. AutoCat uses a vector space model, modified to consider product attributes unavailable in traditional docu...
174
click to vote
PR
2007
15 years 5 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...