8298 search results - page 339 / 1660 » On the Complexity of Numerical Analysis |
174
Voted
EDM
2010
15 years 9 months ago
2010
Epistemic games are designed to help players develop domain-specific expertise that characterizes how professionals in a particular domain reason, communicate, and act [1, 11]. To ...
207
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This article is about a measurement analysis based approach to help software practitioners in managing the additional level complexities and variabilities in software product line...
189
Voted
MAGS
2007
15 years 7 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
251
Voted
TGC
2010
Springer
15 years 5 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
181
click to vote
KDD
2002
ACM
16 years 8 months ago
2002
ACM
A method is described for real-time market intelligence and competitive analysis. News stories are collected online for a designated group of companies. The goal is to detect crit...