1710 search results - page 258 / 342 » A spreadsheet approach to information visualization |
ICPR
2002
IEEE
14 years 1 months ago
2002
IEEE
We exploit the retrieval of visual information from biomedical scientific publication databases. Therefore, we consider the use of domain specific genres to automatically subdiv...
IPPS
1999
IEEE
14 years 11 days ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
AUSDM
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. We present a prototype application for graph-based data exploration and mining, with particular emphasis on scientific data. The application has a Flash-based graphical i...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
VMV
2008
13 years 9 months ago
2008
In this paper we discuss generalizations of instantaneous, local vortex criteria. We incorporate information on spatial context and temporal development into the detection process...