4502 search results - page 765 / 901 » Regular Model Checking |
152
Voted
IJIT
2004
15 years 6 months ago
2004
An adaptive fuzzy PID controller with gain scheduling is proposed in this paper. The structure of the proposed gain scheduled fuzzy PID (GS_FPID) controller consists of both fuzzy ...
151
click to vote
VG
2001
15 years 6 months ago
2001
In this paper we describe an efficient approach to add shadows to volumetric scenes. The light emitted by the lightsource is properly attenuated by the intervening volumetric struc...
130
click to vote
UAI
2004
15 years 6 months ago
2004
We present new MCMC algorithms for computing the posterior distributions and expectations of the unknown variables in undirected graphical models with regular structure. For demon...
134
click to vote
WICSA
2004
15 years 6 months ago
2004
Distributed applications that lack a central, trustworthy authority for control and validation are properly termed decentralized. Multiple, independent agencies, or "partners...
165
click to vote
SGP
2003
15 years 6 months ago
2003
3D scanners, iso-surface extraction procedures, and several recent geometric compression schemes sample surfaces of 3D shapes in a regular fashion, without any attempt to align th...