Sciweavers

7913 search results - page 1224 / 1583
» Information Collection on a Graph
Sort
View
CHI
2002
ACM
16 years 7 months ago
Observed behavior and perceived value of authors in usenet newsgroups: bridging the gap
In this paper we describe an evaluation of behavioral descriptors generated from an analysis of a large collection of Usenet newsgroup messages. The metrics describe aspects of ne...
Andrew T. Fiore, Scott Lee Tiernan, Marc A. Smith
POPL
2007
ACM
16 years 7 months ago
Logic-flow analysis of higher-order programs
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
Matthew Might
POPL
2005
ACM
16 years 7 months ago
Formal prototyping in early stages of protocol design
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr
VLDB
2007
ACM
169views Database» more  VLDB 2007»
16 years 7 months ago
Peer-to-Peer Similarity Search in Metric Spaces
This paper addresses the efficient processing of similarity queries in metric spaces, where data is horizontally distributed across a P2P network. The proposed approach does not r...
Christos Doulkeridis, Akrivi Vlachou, Yannis Kotid...
SIGMOD
2003
ACM
140views Database» more  SIGMOD 2003»
16 years 7 months ago
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
David DeHaan, David Toman, Mariano P. Consens, M. ...
« Prev « First page 1224 / 1583 Last » Next »