2196 search results - page 142 / 440 » Practical Reasoning Using Values |
104
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
150
click to vote
ICIW
2009
IEEE
15 years 5 days ago
2009
IEEE
Web spamming, the practice of introducing artificial text and links into web pages to affect the results of searches, has been recognized as a major problem for search engines. Bu...
CP
2006
Springer
15 years 6 months ago
2006
Springer
A wide range of counting and occurrence constraints can be specified with just two global primitives: the Range constraint, which computes the range of values used by a sequence of...
143
Voted
IEEEICCI
2009
IEEE
15 years 9 months ago
2009
IEEE
In practical issues, categorical data and numerical data usually coexist, and a unified data reduction technique for hybrid data is desirable. In this paper, an information measu...
114
click to vote
CISS
2008
IEEE
15 years 9 months ago
2008
IEEE
— We consider dual subgradient methods for solving (nonsmooth) convex constrained optimization problems. Our focus is on generating approximate primal solutions with performance ...