5441 search results - page 866 / 1089 » Improving the Performance of Recommender Systems That Use Cr... |
227
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
143
click to vote
AUIC
2005
IEEE
16 years 8 days ago
2005
IEEE
Computer keyboards are used to input hundreds of different languages using many different alphabets. Despite this diversity, the physical layout of keyboards is fairly uniform, ...
167
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Recent work on ontology-based Information Extraction (IE) has tried to make use of knowledge from the target ontology in order to improve semantic annotation results. However, ver...
174
click to vote
BIOSTEC
2008
15 years 8 months ago
2008
Abstract. To gain competitive advantage, hospitals try to streamline their processes. In order to do so, it is essential to have an accurate view of the "careflows" under...
199
click to vote
TIP
2008
15 years 6 months ago
2008
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...