Sciweavers

3829 search results - page 174 / 766
» Improving Our Reviewing Processes
Sort
View
AIED
2009
Springer
15 years 11 months ago
Intelligent Support for Inquiry Learning from Images: A Learning Scenario and Tool
Inquiry learning involves the learner acquiring new concepts and skills by means of carrying out an investigation. Some previous studies have looked into how these learning activit...
Paul Mulholland, Zdenek Zdráhal, Jan Abraha...
ASIAN
2007
Springer
126views Algorithms» more  ASIAN 2007»
15 years 10 months ago
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
LADS
2007
Springer
15 years 10 months ago
An Argumentation Based Semantics for Agent Reasoning
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
Sanjay Modgil
118
Voted
HAPTICS
2006
IEEE
15 years 10 months ago
Perceptual Analysis of Haptic Icons: an Investigation into the Validity of Cluster Sorted MDS
The design of usable haptic icons (brief informational signals delivered through the sense of touch) requires a tool for measuring perceptual distances between icons that will be ...
Jérôme Pasquero, Joseph Luk, Shannon ...
VLDB
2004
ACM
113views Database» more  VLDB 2004»
15 years 9 months ago
Auditing Compliance with a Hippocratic Database
We introduce an auditing framework for determining whether a database system is adhering to its data disclosure policies. Users formulate audit expressions to specify the (sensiti...
Rakesh Agrawal, Roberto J. Bayardo Jr., Christos F...