Sciweavers

1769 search results - page 222 / 354
» An implementation of argument based discussion
Sort
View
PPDP
2004
Springer
15 years 11 months ago
Just enough tabling
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
Konstantinos F. Sagonas, Peter J. Stuckey
HICSS
2003
IEEE
132views Biometrics» more  HICSS 2003»
15 years 11 months ago
Establishing a Contact Centre for Public Health Care
A growing part of population is used to performing transactions on-line via the Internet, even in relationships to authorities. Not even the health care sector can escape this tre...
Reima Suomi, Jarmo Tähkäpää
ICTAI
2002
IEEE
15 years 11 months ago
Context Query in Information Retrieval
It is observed that there is an important query requirement missing for search engines. With the wide variation of domain knowledge and user's interest, a user would like to ...
Chi-Hung Chi, Chen Ding, Kwok-Yan Lam
WISE
2000
Springer
15 years 11 months ago
Logging and Signing Document-Transfers on the WWW-A Trusted Third Party Gateway
In this work we discuss a service that aims to make quoting of online documents, „web contents“ easy and provable. For that reason we report the conception of a gateway that w...
Andreas Heuer 0002, Frank Losemann, Christoph Mein...
ACSAC
1999
IEEE
15 years 10 months ago
Generic Support for PKIX Certificate Management in CDSA
The Common Data Security Architecture (CDSA) from the Open Group is a flexible standard that defines APIs for security services needed for implementing Public Key Infrastructure (...
Shabnam Erfani, C. Sekar Chandersekaran