17770 search results - page 3008 / 3554 » A Generalization of Forward-Backward Algorithm |
188
click to vote
RTA
2005
Springer
16 years 10 days ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
221
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
Though adjustable autonomy is hardly a new topic in agent systems, there has been a general lack of consensus on terminology and basic concepts. In this paper, we describe the mul...
202
click to vote
MIR
2004
ACM
16 years 8 days ago
2004
ACM
In content-based image retrieval, relevance feedback has been introduced to narrow the gap between low-level image feature and high-level semantic concept. Furthermore, to speed u...
189
click to vote
MM
2004
ACM
16 years 8 days ago
2004
ACM
One of the prime reasons movie and music studios have ignored the Internet for open-networked multimedia content delivery, has been the lack of a technology that can support a sec...
185
click to vote
MSWIM
2004
ACM
16 years 8 days ago
2004
ACM
Emerging “urban” ad hoc networks resulting from a large number of individual WLAN users challenge the way users could explore and interact with their physical surroundings. Ro...