2498 search results - page 243 / 500 » A tool for materials exploration |
178
click to vote
PVLDB
2008
15 years 6 months ago
2008
Reading and perceiving complex SQL queries has been a time consuming task in traditional database applications for decades. When it comes to decision support systems with automati...
199
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Reliability and/or availability are increasingly important aspects in the design of systems, especially networks and service offerings. Optimization here is a multi-crite...
153
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
179
click to vote
EMNLP
2009
15 years 4 months ago
2009
Topic models are a useful tool for analyzing large text collections, but have previously been applied in only monolingual, or at most bilingual, contexts. Meanwhile, massive colle...
190
click to vote
IEEEVAST
2010
15 years 1 months ago
2010
The final product of an analyst`s investigation using a visualization is often a report of the discovered knowledge, as well as the methods employed and reasoning behind the disco...