24451 search results - page 4471 / 4891 » Research methods in information |
158
click to vote
CAV
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
204
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
166
click to vote
CIARP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper we introduce a general framework for hierarchical clustering that deals with both static and dynamic data sets. From this framework, different hierarchical...
189
click to vote
CIKM
2005
Springer
16 years 12 days ago
2005
Springer
The method of assigning labels to the nodes of the XML tree is called a labeling scheme. Based on the labels only, both ordered and un-ordered queries can be processed without acc...
163
click to vote
COCOON
2005
Springer
16 years 12 days ago
2005
Springer
Rocchio’s similarity-based relevance feedback algorithm, one of the most important query reformation methods in information retrieval, is essentially an adaptive supervised lear...