4266 search results - page 615 / 854 » Search for More Declarativity |
172
click to vote
MMM
2009
Springer
16 years 3 months ago
2009
Springer
In this paper, a novel framework is developed to support personalized news video recommendation. First, multi-modal information sources for news videos are seamlessly integrated an...
171
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
130
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We present an effective method to optimize over the parameters of an image patch descriptor to obtain one that is computationally more efficient while maintaining a high recogniti...
164
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
183
click to vote
AINA
2009
IEEE
16 years 29 days ago
2009
IEEE
— Underwater acoustic communication networks have attracted attention for its applications in many areas such as mine warfare, rapid environmental assessment or search and rescue...