4324 search results - page 337 / 865 » A Generalized Representer Theorem |
196
click to vote
EMSOFT
2004
Springer
16 years 4 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
171
click to vote
LATIN
2004
Springer
16 years 3 days ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
195
click to vote
LATIN
2004
Springer
16 years 3 days ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
171
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
We present a probabilistic model, based on Dynamic Decision Networks, to assess user affect from possible causes of emotional arousal. The model relies on the OCC cognitive theory...
190
Voted
NOSSDAV
2009
Springer
15 years 11 months ago
2009
Springer
For scalability of business, multiparty multilevel digital rights management (DRM) architecture, where a multimedia content is delivered by an owner to a consumer through several ...