10715 search results - page 193 / 2143 » Proofs from Tests |
186
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Consumer informedness plays a critical role in determining consumer choice. Companies now use hyperdifferentiation and resonance marketing strategies to benefit from the long-tail....
158
click to vote
BIBM
2008
IEEE
16 years 1 months ago
2008
IEEE
Understanding what are the characteristics of proteinprotein interfaces is at the core of numerous applications. This paper introduces a method in which the proteins are described...
144
click to vote
TALG
2008
15 years 7 months ago
2008
Given a Euclidean graph G over a set P of n points in the plane, we are interested in verifying whether G is a Euclidean minimum spanning tree (EMST) of P or G differs from it in ...
184
click to vote
GECCO
2003
Springer
16 years 9 days ago
2003
Springer
Learning Bayesian networks from data has been studied extensively in the evolutionary algorithm communities [Larranaga96, Wong99]. We have previously explored extending some of the...
245
click to vote
ICFP
1997
ACM
15 years 11 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...