780 search results - page 57 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
146
Voted
ML
2002
ACM
15 years 3 months ago
2002
ACM
The choice of the kernel function is crucial to most applications of support vector machines. In this paper, however, we show that in the case of text classification, term-frequenc...
126
Voted
DOLAP
2009
ACM
15 years 10 months ago
2009
ACM
The current commercial and academic OLAP tools do not process XML data that make use of XLink. To develop OLAP systems for helping in the analysis of such data, this paper propose...
141
Voted
SERP
2010
15 years 1 months ago
2010
As the use of online business systems increase so does the need to produce more efficient and less error prone web based Modeling is a core abstraction mechanism used to manage co...
122
Voted
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
Negative relevance feedback is a special case of relevance feedback where we do not have any positive example; this often happens when the topic is difficult and the search result...
134
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...