5608 search results - page 275 / 1122 » Structure description tools |
169
click to vote
IDS
1994
15 years 8 months ago
1994
An experimental 3D interface to an object oriented database is described. It is hoped that using such techniques will help make complex data structures more comprehensible and eas...
146
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
121
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
145
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a web-based system to monitor the quality of the meta-data used to describe content in web portals. The system implements meta-data analysis using statistical, visualiz...
114
click to vote
DEXAW
2005
IEEE
15 years 10 months ago
2005
IEEE
Despite the importance of analytical tools to organisations, they still lack the inference power needed to solve the requests of decision mak...