Sciweavers

1531 search results - page 159 / 307
» Identifying Topics by Position
Sort
View
FM
2009
Springer
95views Formal Methods» more  FM 2009»
14 years 2 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
EICS
2009
ACM
14 years 2 months ago
Social network analysis and interactive device design analysis
What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely...
Harold W. Thimbleby, Patrick Oladimeji
ICPR
2008
IEEE
14 years 2 months ago
Robust trajectory estimation of soccer players by using two cameras
This paper proposes a method to estimate the trajectories of soccer players by using two cameras set in a large-scale outdoor space such as a soccer stadium, which is normally not...
Nozomu Kasuya, Itaru Kitahara, Yoshinari Kameda, Y...
ICPR
2008
IEEE
14 years 2 months ago
Stop word detection in compressed textual images: An experiment on indic script documents
Stop word detection is attempted in this work in the context of retrieval of document images in the compressed domain. Algorithms are presented to identify text lines and words an...
Utpal Garain, Amit Kumar Das
ICPR
2008
IEEE
14 years 2 months ago
A novel segmentation algorithm for pulmonary nodule in chest radiograph
Segmentation of pulmonary nodules in chest radiographs is a difficult task due to heavy noise and superposition of ribs, vessels, and other anatomical structures in lung field. In...
Erling Wei, Jiayong Yan, Mantao Xu, Jiwu Zhang