1392 search results - page 232 / 279 » Semantic Analytics Visualization |
FMCAD
2000
Springer
15 years 5 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...
108
click to vote
AAAI
2008
15 years 4 months ago
2008
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
101
click to vote
EUROS
2008
15 years 3 months ago
2008
This paper addresses the measurement of motion expressiveness in wheeled mobile robots. A neural network based supervised learning strategy is proposed as a method to fuse informat...
HCI
2007
15 years 3 months ago
2007
Understanding the dynamics of knowledge diffusion has profound theoretical and practical implications across a wide variety of domains, ranging from scientific disciplines to educa...
118
click to vote
MIE
2008
15 years 3 months ago
2008
Lifelong electronic health records can supply valuable information for research, quality management and health politics in addition to supporting treatment of patients. Based on ex...