Sciweavers

4592 search results - page 236 / 919
» Framework for Studying Substitution
Sort
View
DIMVA
2008
15 years 8 months ago
VeriKey: A Dynamic Certificate Verification System for Public Key Exchanges
Abstract. This paper presents a novel framework to substantiate selfsigned certificates in the absence of a trusted certificate authority. In particular, we aim to address the prob...
Brett Stone-Gross, David Sigal, Rob Cohn, John Mor...
CSDA
2006
109views more  CSDA 2006»
15 years 7 months ago
Possibility theory and statistical reasoning
Numerical possibility distributions can encode special convex families of probability measures. The connection between possibility theory and probability theory is potentially fru...
Didier Dubois
JACM
2007
84views more  JACM 2007»
15 years 7 months ago
Polymorphic higher-order recursive path orderings
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
Jean-Pierre Jouannaud, Albert Rubio
EDM
2008
289views Data Mining» more  EDM 2008»
15 years 8 months ago
Developing a Log-based Motivation Measuring Tool
The purpose of this study is to develop a conceptual framework and a tool for measuring motivation of online learners. The study was carried out in three phases, the first of which...
Arnon Hershkovitz, Rafi Nachmias
CASCON
2006
109views Education» more  CASCON 2006»
15 years 8 months ago
Legal research topics within services sciences
The paper presents a study to define some of the most important legal topics that need to be included in the Services Sciences' research agenda. To analyze what sort of legal...
Olli Pitkänen