4507 search results - page 367 / 902 » Generalized Binet dynamics |
190
Voted
VISUALIZATION
2003
IEEE
15 years 12 months ago
2003
IEEE
We present techniques for discovering and exploiting regularity in large curvilinear data sets. The data can be based on a single mesh or a mesh composed of multiple submeshes (al...
170
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...
187
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents the design and implementation of a compiler algorithm that effectively optimizes programs for energy usage using dynamic voltage scaling (DVS). The algorithm ...
185
click to vote
ASM
2003
ASM
15 years 12 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
160
click to vote
CIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...