Sciweavers

5692 search results - page 469 / 1139
» Challenges and Unsolved Problems
Sort
View
COR
2006
83views more  COR 2006»
15 years 7 months ago
Modelling and solving English Peg Solitaire
Peg Solitaire is a well known puzzle which can prove difficult despite its simple rules. Pegs are arranged on a board such that at least one `hole' remains. By making draught...
Christopher Jefferson, Angela Miguel, Ian Miguel, ...
ENTCS
2006
145views more  ENTCS 2006»
15 years 6 months ago
Compositionality of Security Protocols: A Research Agenda
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
Cas J. F. Cremers
IJBRA
2008
116views more  IJBRA 2008»
15 years 6 months ago
High performance bio-image database retrieval using MPI
: Fast and accurate 3D object reconstruction and partial 3D component retrieval from 2D image slices represent a difficult and challenging problem. To group related objects on diff...
Yong Li, Xiujuan Chen, Saeid Belkasim, Yi Pan
IJCPOL
2008
117views more  IJCPOL 2008»
15 years 6 months ago
Transliterated Named Entity Recognition Based on Chinese Word Sketch
One of the unique challenges to Chinese Language Processing is cross-strait named entity recognition. Due to the adoption of different transliteration strategies, foreign name tra...
Petr Simon, Chu-Ren Huang, Shu-Kai Hsieh, Jia-Fei ...
IJCV
2008
102views more  IJCV 2008»
15 years 6 months ago
Modeling the World from Internet Photo Collections
Abstract There are billions of photographs on the Internet, comprising the largest and most diverse photo collection ever assembled. How can computer vision researchers exploit thi...
Noah Snavely, Steven M. Seitz, Richard Szeliski