Sciweavers

488 search results - page 71 / 98
» Using Model Checking to Generate Tests from Requirements Spe...
Sort
View
ICIP
2003
IEEE
16 years 4 months ago
A hierarchical statistical modeling approach for the unsupervised 3D reconstruction of the scoliotic spine
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...
Said Benameur, Max Mignotte, Stefan Parent, Hubert...
123
Voted
JISBD
2001
15 years 4 months ago
Conceptual Modeling of Device-Independent Web Applications
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
Jaime Gómez, Cristina Cachero
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 8 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
WSDM
2010
ACM
236views Data Mining» more  WSDM 2010»
16 years 16 days ago
Personalized Click Prediction in Sponsored Search
Sponsored search is a multi-billion dollar business that generates most of the revenue for search engines. Predicting the probability that users click on ads is crucial to sponsor...
Erick Cantú-Paz, Haibin Cheng
CAISE
1993
Springer
15 years 7 months ago
Visualisation for Validation
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
Vali Lalioti, Pericles Loucopoulos