3742 search results - page 448 / 749 » On the Use of Formal Techniques for Validation |
210
click to vote
FUIN
2007
15 years 6 months ago
2007
We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Direct...
175
click to vote
PRL
2006
15 years 6 months ago
2006
This paper presents a general method for incorporating prior knowledge into kernel methods such as Support Vector Machines. It applies when the prior knowledge can be formalized b...
206
click to vote
DQ
1998
15 years 6 months ago
1998
Current evidence indicates that poor data quality is pervasive and has a significant negative impact on business success. Information-system (IS) professionals are typically charg...
180
Voted
PUC
2011
15 years 1 months ago
2011
Abstract Research field trials of fully functional prototypes of location-based games are an effective way to test game designs and develop an understanding of what makes games co...
209
click to vote
PROMISE
2010
15 years 1 months ago
2010
Background. Recent studies have shown that Support Vector Regression (SVR) has an interesting potential in the field of effort estimation. However applying SVR requires to careful...