1413 search results - page 218 / 283 » Bisimilarity of Open Terms |
190
click to vote
ANCS
2009
ACM
15 years 4 months ago
2009
ACM
As the Internet grows, both the number of rules in packet filtering databases and the number of prefixes in IP lookup tables inside the router are growing. The packet processing e...
181
click to vote
ACSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Twitter is a new web application playing dual roles of online social networking and micro-blogging. Users communicate with each other by publishing text-based posts. The popularit...
200
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...
210
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
An object on the Semantic Web is likely to be denoted with multiple URIs by different parties. Object coreference resolution is to identify “equivalent” URIs that denote the ...
176
click to vote
JSC
2010
15 years 1 months ago
2010
Both Sequence and Context Unification generalize the same problem: Word Unification. Besides that, Sequence Unification solves equations between unranked terms involving sequence ...