Sciweavers

3865 search results - page 367 / 773
» From Bidirectionality to Alternation
Sort
View
ITCC
2005
IEEE
16 years 10 days ago
Disciplined Methods of Software Specification: A Case Study
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
Robert L. Baber, David Lorge Parnas, Sergiy A. Vil...
SIGIR
2005
ACM
16 years 10 days ago
Scalable collaborative filtering using cluster-based smoothing
Memory-based approaches for collaborative filtering identify the similarity between two users by comparing their ratings on a set of items. In the past, the memory-based approache...
Gui-Rong Xue, Chenxi Lin, Qiang Yang, Wensi Xi, Hu...
SOUPS
2005
ACM
16 years 10 days ago
Making PRIME usable
Privacy-enhanced Identity Management can enable users to retain and maintain informational self-determination in our networked society. This paper describes the usability research...
John Sören Pettersson, Simone Fischer-Hü...
DAGM
2005
Springer
16 years 9 days ago
Three-Dimensional Shape Knowledge for Joint Image Segmentation and Pose Estimation
Abstract. This paper presents the integration of 3D shape knowledge into a variational model for level set based image segmentation and tracking. Having a 3D surface model of an ob...
Thomas Brox, Bodo Rosenhahn, Joachim Weickert
DBISP2P
2005
Springer
183views Database» more  DBISP2P 2005»
16 years 9 days ago
Database Selection and Result Merging in P2P Web Search
Intelligent Web search engines are extremely popular now. Currently, only commercial centralized search engines like Google can process terabytes of Web data. Alternative search en...
Sergey Chernov, Pavel Serdyukov, Matthias Bender, ...