4280 search results - page 166 / 856 » Mechanisms for information elicitation |
146
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic han...
114
click to vote
MTSR
2007
Springer
16 years 18 days ago
2007
Springer
The use of RDF on the web is increasing, unfortunately the amount of editing tools suitable for end users without knowledge of technicalities of the la...
166
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...
172
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...
149
click to vote
ICEGOV
2009
ACM
15 years 4 months ago
2009
ACM
Countries aiming to transform their Governments require a more sophisticated e-government model