10715 search results - page 193 / 2143 » Proofs from Tests |
97
Voted
HICSS
2009
IEEE
15 years 7 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....
BIBM
2008
IEEE
15 years 7 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...
TALG
2008
15 years 22 days 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 ...
GECCO
2003
Springer
15 years 6 months 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...
149
Voted
ICFP
1997
ACM
15 years 5 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...