932 search results - page 137 / 187 » Verifying Progress in Timed Systems |
JAR
2000
13 years 8 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
PSYCHNOLOGY
2008
13 years 8 months ago
2008
Previous studies reported good results in using virtual reality for the treatment of acrophobia. Similarly this paper reports the use of a virtual environment for the treatment of...
BMVC
2010
13 years 7 months ago
2010
Texture classification is used for many vision systems; in this paper we focus on improving the reliability of the classification through the so-called imprecise (or credal) class...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
—The problem of stabilizing an unstable plant over a noisy communication link is an increasingly important one that arises in problems of distributed control and networked contro...
TVCG
2011
13 years 4 months ago
2011
—Direct volume rendering is an important tool for visualizing complex data sets. However, in the process of generating 2D images from 3D data, information is lost in the form of ...