2153 search results - page 252 / 431 » From Requirements Models to Formal Specifications in B |
165
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper, we propose a new and accurate 3D reconstruction technique for the scoliotic spine from a pair planar and conventional radiographic images (postero-anterior and late...
159
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
High angular resolution diffusion imaging (HARDI) permits the computation of water molecule displacement probabilities over the sphere. This probability is often referred to as th...
188
click to vote
POLICY
2007
Springer
16 years 17 days ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
182
click to vote
EMNLP
2009
15 years 4 months ago
2009
A significant portion of the world's text is tagged by readers on social bookmarking websites. Credit attribution is an inherent problem in these corpora because most pages h...
154
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
The quality of student consultants and their development through training and education are major factors in determining long-term effectiveness of university Help Desk. To hire a...