Sciweavers

1638 search results - page 24 / 328
» Properties of input-consuming derivations
Sort
View
ICALT
2006
IEEE
15 years 3 months ago
Metadata Challenges for Situational Properties of Learning Objects
raction of free-standing metadata describing learning objects is typified by an analytical model which primarily focuses on the encoding of discrete properties pertaining to the ...
Baden Hughes, Roderick A. Farmer
ACNS
2009
Springer
142views Cryptology» more  ACNS 2009»
15 years 4 months ago
Group Key Exchange Enabling On-Demand Derivation of Peer-to-Peer Keys
We enrich the classical notion of group key exchange (GKE) protocols by a new property that allows each pair of users to derive an independent peer-to-peer (p2p) key on-demand and ...
Mark Manulis
GG
2008
Springer
14 years 11 months ago
High-Level Programs and Program Conditions
High-level conditions are well-suited for expressing structural properties. They can describe the precondition and the postcondition for a high-level program, but they cannot descr...
Karl Azab, Annegret Habel
ICPR
2000
IEEE
15 years 11 months ago
General Bias/Variance Decomposition with Target Independent Variance of Error Functions Derived from the Exponential Family of D
An important theoretical tool in machine learning is the bias/variance decomposition of the generalization error. It was introduced for the mean square error in [3]. The bias/vari...
Jakob Vogdrup Hansen, Tom Heskes
CAIP
2007
Springer
156views Image Analysis» more  CAIP 2007»
15 years 1 months ago
Classification of Optical Flow by Constraints
In this paper, we analyse mathematical properties of spatial optical-flow computation algorithm. First by numerical analysis, we derive the convergence property on variational opti...
Yusuke Kameda, Atsushi Imiya