4353 search results - page 712 / 871 » Expressiveness of Process Algebras |
ACCV
2006
Springer
15 years 4 months ago
2006
Springer
Relevance feedback (RF) and region-based image retrieval (RBIR) are two widely used methods to enhance the performance of contentbased image retrieval (CBIR) systems. In this paper...
101
Voted
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
83
Voted
ACMSE
2006
ACM
15 years 4 months ago
2006
ACM
A software framework is a technology that enables software reuse, potentially yielding rich dividends but requiring significant longterm investment. However, a framework is not a ...
72
Voted
IWCMC
2006
ACM
15 years 4 months ago
2006
ACM
— In this paper we focus on characterizing the average end-to-end delay and maximum achievable per-node throughput in random access multihop wireless ad hoc networks with station...
PPPJ
2006
ACM
15 years 4 months ago
2006
ACM
Currently there exist dozens of web controller frameworks that are incompatible, but at the same time have large portions of overlapping functionality that is implemented over and...