984 search results - page 68 / 197 » ideas 2006 |
139
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
116
click to vote
MMM
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a SVM-based prediction approach for constructing personal recommendation system for TV programs. We have applied Support Vector Machine (SVM) to personal predi...
135
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
The performance of services implemented in the serviceoriented knowledge grid becomes one of the most key issues that affect the development of the knowledge grid. This paper pres...
168
click to vote
SMI
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose a new and powerful shape denoising technique for processing surfaces approximated by triangle meshes and soups. Our approach is inspired by recent non-lo...
130
click to vote
WMTE
2006
IEEE
15 years 10 months ago
2006
IEEE
Ubiquitous computing, as a subfield of computer science, has traditionally been associated with a set of principles expressed (loosely but tellingly) with terms like transparency,...