1413 search results - page 73 / 283 » Bisimilarity of Open Terms |
101
click to vote
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
We introduce a new kind of tree automaton, a dependency tree automaton, that is suitable for deciding properties of classes of terms with binding. Two kinds of such automaton are d...
89
Voted
MIR
2006
ACM
15 years 6 months ago
2006
ACM
Multimedia information retrieval is a highly diverse field. A variety of data types, research problems, methodologies are involved. Researchers in the field come from very diff...
99
Voted
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
SQL extensions that allow queries to explicitly specify data quality requirements in terms of currency and consistency were proposed in an earlier paper. This paper develops a dat...
MM
2004
ACM
15 years 6 months ago
2004
ACM
This technical demonstration shows that content-based networking is a promising technology for multireceiver video streaming. Each video receiver is provided with fine grained se...
97
Voted
ESAW
2001
Springer
15 years 5 months ago
2001
Springer
Mobile application components can be effectively and uniformly modeled in terms of autonomous agents moving across different context during execution. In this paper, we introduce a...