249 search results - page 22 / 50 » Reflection Nebula Visualization |
CADE
2001
Springer
14 years 10 months ago
2001
Springer
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe a...
IEEEICCI
2008
IEEE
14 years 4 months ago
2008
IEEE
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
AMAST
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...
CVPR
2007
IEEE
14 years 12 months ago
2007
IEEE
Long-duration tracking of general targets is quite challenging for computer vision, because in practice target may undergo large uncertainties in its visual appearance and the unc...
VISSYM
2007
14 years 11 days ago
2007
Visual data analysis has received a lot of research interest in recent years, and a wide variety of new visualization techniques and applications have been developed to improve in...