3446 search results - page 652 / 690 » A Reasoning Algorithm for pD* |
116
click to vote
SEFM
2006
IEEE
15 years 7 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
129
click to vote
DOCENG
2006
ACM
15 years 7 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
127
click to vote
IMC
2006
ACM
15 years 7 months ago
2006
ACM
This paper addresses the difficult problem of selecting representative samples of peer properties (e.g., degree, link bandwidth, number of files shared) in unstructured peer-to-p...
102
click to vote
IUI
2006
ACM
15 years 7 months ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
113
click to vote
IWCMC
2006
ACM
15 years 7 months ago
2006
ACM
Past research studying the operations of TCP over wireless/mobile ad hoc networks has shown that TCP cannot be adopted as-is for use in mobile ad hoc networks (MANET) to achieve r...