6248 search results - page 146 / 1250 » Programming in a data factory |
193
click to vote
TPHOL
2008
IEEE
16 years 25 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
154
click to vote
IWPC
2006
IEEE
16 years 14 days ago
2006
IEEE
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...
156
click to vote
MMM
2006
Springer
16 years 14 days 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...
171
click to vote
CC
2005
Springer
16 years 8 hour ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
151
click to vote
IWINAC
2005
Springer
15 years 12 months ago
2005
Springer
The framework of multi-adjoint logic programming has shown to cover a number of approaches to reason under uncertainty, imprecise data or incomplete information. In previous works,...