1347 search results - page 194 / 270 » Using Clustering Methods for Discovering Event Structures |
112
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
110
click to vote
ITCC
2003
IEEE
15 years 8 months ago
2003
IEEE
As large main memory becomes more and more available at reasonable prices, processing speed of large data sets becomes more important than reducing main memory usage of internal d...
125
click to vote
ICANN
2009
Springer
15 years 7 months ago
2009
Springer
Neural networks and other sophisticated machine learning algorithms frequently miss simple solutions that can be discovered by a more constrained learning methods. Transition from ...
121
click to vote
ASWC
2008
Springer
15 years 5 months ago
2008
Springer
More and more RDF data have been published online to be consumed. Ordinary Web users also expect to experience more intelligent services promised by the Semantic Web, such as objec...
129
click to vote
DATESO
2004
15 years 4 months ago
2004
Abstract. In the area of information retrieval, the dimension of document vectors plays an important role. Firstly, with higher dimensions index structures suffer the "curse o...