Sciweavers

3639 search results - page 273 / 728
» Experiments on IPv6 Testing
Sort
View
SIGIR
2004
ACM
15 years 9 months ago
Parameterized generation of labeled datasets for text categorization based on a hierarchical directory
Although text categorization is a burgeoning area of IR research, readily available test collections in this field are surprisingly scarce. We describe a methodology and system (...
Dmitry Davidov, Evgeniy Gabrilovich, Shaul Markovi...
SIGIR
2004
ACM
15 years 9 months ago
A study of methods for normalizing user ratings in collaborative filtering
The goal of collaborative filtering is to make recommendations for a test user by utilizing the rating information of users who share interests similar to the test user. Because r...
Rong Jin, Luo Si
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 9 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
GD
2004
Springer
15 years 9 months ago
Clustering Cycles into Cycles of Clusters
In this paper we study simple families of clustered graphs that are highly unconnected. We start by studying 3-cluster cycles, which are clustered graphs such that the underlying ...
Pier Francesco Cortese, Giuseppe Di Battista, Maur...
GISCIENCE
2004
Springer
159views GIS» more  GISCIENCE 2004»
15 years 9 months ago
The SPIRIT Spatial Search Engine: Architecture, Ontologies and Spatial Indexing
Abstract. The SPIRIT search engine provides a test bed for the development of web search technology that is specialised for access to geographical information. Major components inc...
Christopher B. Jones, Alia I. Abdelmoty, David Fin...