4280 search results - page 283 / 856 » Mechanisms for information elicitation |
160
click to vote
MKM
2004
Springer
16 years 23 hour ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
184
click to vote
CIKM
2003
Springer
15 years 12 months ago
2003
Springer
Keeping track of changes in user interests from a document stream with a few relevance judgments is not an easy task. To tackle this problem, we propose a novel method that integr...
210
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
155
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
Generally, the real-time applications exchange information on dedicated network and the other traffic is supported by another communication system. The differentiation of these tw...
152
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The task of translating data from one schema into another is usually performed with the help of information stating how the elements between two schemas correspond. Translation mec...