6040 search results - page 659 / 1208 » Generating Instance Models from Meta Models |
186
click to vote
ACISP
2003
Springer
15 years 10 months ago
2003
Springer
In some practical circumstances, the ability of a signer should be restricted. In group signature schemes, a group member may be allowed to generate signatures up to a certain numb...
173
click to vote
IPMI
2003
Springer
16 years 8 months ago
2003
Springer
We formulate and interpret several registration methods in the context of a unified statistical and information theoretic framework. A unified interpretation clarifies the implici...
176
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
Students’ actions while working with a tuoring system were used to generate estimates of learning goals, specifically, the goal of learning by using multimedia help resources, an...
205
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
178
click to vote
SIGIR
1999
ACM
15 years 11 months ago
1999
ACM
We define the problem of decomposing human-written summary sentences and propose a novel Hidden Markov Model solution to the problem. Human summarizers often rely on cutting and ...