5232 search results - page 759 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
279
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
188
click to vote
ISCAS
2007
IEEE
16 years 28 days ago
2007
IEEE
— It has been observed that a bottleneck Random Early Detection (RED) gateway becomes oscillatory when regulating a flow in multiple TCP connections. The stability boundary of t...
160
click to vote
IVA
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents an approach to incorporate emotion regulation as addressed within psychology literature into virtual characters. To this end, first Gross’ informal theory of ...
170
click to vote
ITICSE
2006
ACM
16 years 19 days ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
158
click to vote
ICIP
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper presents a Bayesian Network model for ContentBased Image Retrieval (CBIR). In the explanation and test of this work, only two images features (semantic evidences) are i...