2196 search results - page 192 / 440 » Practical Reasoning Using Values |
121
click to vote
RE
1997
Springer
15 years 6 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
109
click to vote
ICTAC
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
113
click to vote
TCOM
2011
14 years 9 months ago
2011
—Using high-rate theory approximations we introduce flexible practical quantizers based on possibly non-Gaussian models in both the constrained resolution (CR) and the constrain...
131
click to vote
ACMDIS
2010
ACM
14 years 12 months ago
2010
ACM
In this paper, we examine the ideas behind and reactions to a prototype online tool designed, in-house, for an art college's interaction design department. The web-based prot...
153
click to vote
COMGEO
2004
ACM
15 years 1 months ago
2004
ACM
In k-means clustering we are given a set of n data points in d-dimensional space d and an integer k, and the problem is to determine a set of k points in d , called centers, to mi...