7820 search results - page 1471 / 1564 » Formalization of Time and Space |
180
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
We present a probabilistic model for generating personalised recommendations of items to users of a web service. The Matchbox system makes use of content information in the form o...
164
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Recent interests on XML, Semantic Web, and Web ontology, among other topics, have sparked a renewed interest on graph-structured databases. A fundamental query on graphs is the re...
161
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
A key challenge for dynamic Web service selection is that Web services are typically highly configurable and service requesters often have dynamic preferences on service configura...
155
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
We propose the study of visibly pushdown automata (Vpa) for processing XML documents. Vpas are pushdown automata where the input determines the stack operation, and XML documents ...
324
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....