6800 search results - page 685 / 1360 » Testing with Functions as Specifications |
153
click to vote
ICML
2008
IEEE
16 years 8 months ago
2008
IEEE
We describe an algorithm for learning in the presence of multiple criteria. Our technique generalizes previous approaches in that it can learn optimal policies for all linear pref...
168
click to vote
ICML
2004
IEEE
16 years 8 months ago
2004
IEEE
We study the problem of modeling species geographic distributions, a critical problem in conservation biology. We propose the use of maximum-entropy techniques for this problem, s...
167
click to vote
ISBI
2006
IEEE
16 years 8 months ago
2006
IEEE
Among the many methods for modeling cortical interactions using EEG and MEG data, Multivariate Autoregressive(MVAR) functional connectivity measures have the advantage of providin...
201
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
313
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...