5692 search results - page 258 / 1139 » Challenges and Unsolved Problems |
180
click to vote
IDEAS
2007
IEEE
16 years 26 days ago
2007
IEEE
There is an increasing need for an XML query engine that not only searches for exact matches to a query but also returns “query-like” structures. We have designed and develope...
184
click to vote
ISPDC
2007
IEEE
16 years 25 days ago
2007
IEEE
Mixed-parallel applications can take advantage of largescale computing platforms but scheduling them efficiently on such platforms is challenging. In this paper we compare the tw...
160
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
165
click to vote
CICLING
2007
Springer
16 years 22 days ago
2007
Springer
Clustering short length texts is a difficult task itself, but adding the narrow domain characteristic poses an additional challenge for current clustering methods. We addressed thi...
167
click to vote
DAGM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This contribution presents a novel approach to the challenging problem of model selection in motion estimation from sequences of images. New light is cast on parametric m...